We do not need the Jasmin bytecode assembler