#include <stdio.h> #include "do_loops.h" int main( int argc, char **argv ) { (void)argc; (void)argv; do_stuff( ); return 0; }