add some functions in symboltable.h