def split(p):
i = p.rfind('<STR_LIT:/>') + <NUM_LIT:1><EOL>head, tail = p[:i], p[i:]<EOL>if head and head != '<STR_LIT:/>'*len(head):<EOL><INDENT>head = head.rstrip('<STR_LIT:/>')<EOL><DEDENT>return head, tail<EOL>
Split a pathname.  Returns tuple "(head, tail)" where "tail" is
    everything after the final slash.  Either part may be empty.