It has been said that "the extensions *.ser5f *.aer5f *.oer5f have the usual meaning as *.s, *.a and *.o with the added suffix of r5f or a72fg or other core names." . However, I'm wondering what does the "e" in the suffix means. Any hints?
Thanks!
Huichun
