IO: begin of File class implementation