app_tminterval
double app_tminterval(int stop, int usertime);
return app_tminterval(s, 1);
double ret = app_tminterval(s, usertime);
ret = app_tminterval(s, usertime);
ret = app_tminterval(s, usertime);