srecord File_nameAsToString(File f) {
  toString { ret str(fileName(f)); }
}