A probably-working register allocator.