IR bytecode rephrased