Symbol: test_invalid_vmcb12