add sdtlib symbols