Symbol: DIF_OP_SREM