open RTL
open Registers

(* Do not do anything *)
let schedule_sequence (seqa : (instruction*Regset.t) array)
      live_regs_entry typing reference = None