the @12 is the size of the returned value, you can get this information by using a command prompt and navigate to the lib directory in your BMax folder. Then type
This will export the full names of the functions to a text file (specified by the last portion)
e.g.
nm libname.a > name.txt
This will export the full names of the functions to a text file (specified by the last portion)
e.g.
nm libuser32.a > user32.txt