svoid saveBinaryFile_simple(S fileName, byte[] contents) {
  FileOutputStream fileOutputStream = new(fileName);
  fileOutputStream.write(contents);
  fileOutputStream.close();
}