shorten_unambiguous_ref(): tighten up pointer arithmetic