version mangling in the header file