Exactly. I mean, I don't know the exact history of when the name "a.out" got transferred to the format, but I have to assume that it wasn't until there was som

Exactly. I mean, I don't know the exact history of when the name "a.out" got transferred to the format, but I have to assume that it wasn't until there was something to contrast it with.