hacking hacking... can't just use the name "__init__" again
because the RTyper is confused about the two direct__init__() with
a different signature, confusion caused by the fact that
W_File.file__init__() would appear to contain an indirect
call to one of the two versions of direct__init__().