(TXT) A random encounter with a 35 year old file format