[code: VM.bcd, symbols: VM.symbols] _ VM