Pushing the mark from a primitive like goto-char

[Daniel Martín]

goto-char is an interactive function that has the potential to take you
long distances, so it might be a good idea, for user convenience, to
push the mark as a documented side effect (is it a good idea?).

If it's a good idea, what's the cleanest and simplest way to do that?
goto-char is implemented in C, so it'd need to call push-mark, which is
implemented in ELisp.  Should it call push-mark via eval_sub or Feval,
or is there an alternative C primitive to push the mark into the mark
ring correctly?

TIA