push-style c library for tws 9.71