timerlat_main
main = timerlat_main;
timerlat_main(argc-start_position, &argv[start_position]);
int timerlat_main(int argc, char *argv[]);