Module Linscan

val allocate_registers : unit -> unit