Symbol: SYNTH_MAX_INT_DIV