convert_bytecode: check the VM type