added debugging functions to dump the protolib, symbols