svoid appendToTextFile(File file, S s) {
  appendToFile(file, s);
}

svoid appendToTextFile(S file, S s) {
  appendToTextFile(programFile(file), s);
}