let end_of_position p = p.end_p