val allocate_registers : Interval.result -> int array