Symbol: MUL_NO_OVERFLOW