Symbol: VCC_NO_EXECUTE