Make sure to mark all registers that have already been allocated