OK tools_lib.h