Update sym.h