def _readFile($filename): empty;
def _writeFileString($filename): empty;