Starting to write a register allocator...