tictoc.h: example of nested usage