Use C++ coding style for pointers in symbol id headers