Symbol: nn_divrem