Symbol: ENABLE_INT