Function symbols can have digits in them.
Fixed the function header parsing so that it can handle all known formats