const file_data = static readFile("preset.dat")
stdout.write(file_data)