def url2pathname(url: str) -> str: ...
def pathname2url(p: str) -> str: ...