`"002.tlf"` would be less odd.