add WTFPL to tictoc.h