A random encounter with a 35 year old file format