def PyFile_Name(space, w_p):
    """Return the name of the file specified by p as a string object."""
    w_name = space.getattr(w_p, space.newtext("name"))
    return w_name     # borrowed ref, should be a W_StringObject from the file