Symbol: TERTIARY_VM_EXEC_CONTROL