Module Linscan

val allocate_registers : Interval.result -> int array