svoid appendLineToFile(File file, S s) {
  appendToFile(file, unnull(s) + "\n");
}