Symbol: EXEC_TOPDOWN_VM