/* Convert the location to a brief string.
(Some error messages need to report a secondary location.)
This uses the static buffer other_pos_buff. */
/* Convert the location to a brief string.
(Some error messages need to report a secondary location.)
This uses the static buffer other_pos_buff. */