bar_int           602 source4/heimdal/lib/roken/getarg.c int bar_int;
bar_int           609 source4/heimdal/lib/roken/getarg.c     { "bar", 'b', arg_integer, &bar_int, "bar", "seconds"},
bar_int           621 source4/heimdal/lib/roken/getarg.c     printf("bar_int = %d\n", bar_int);