Virtual machine for AS4 bytecode