string location_of(atom atom) { int path_id=literal_id(atom.path()); int line_id=literal_id(atom.line().trim()); return concat("location",pack(path_id,line_id,atom.number()).join(",").parens()); }