printf("usage: frm_dummy [ options ]\n");
printf(" -a, --accept-all Accepts all contracts\n");
printf(" -d, --daemon [pid-file] go to background after FORB initialization\n");
printf("usage: frm_dummy [ options ]\n");
printf(" -a, --accept-all Accepts all contracts\n");
printf(" -d, --daemon [pid-file] go to background after FORB initialization\n");