void domacro (int argc, char **argv);