#bytecode-register-allocation