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