[eval2] Document the VM code.