dump_boolean
dump_boolean(b1),
dump_boolean(b2));
(void) printf("\t%s= %s.\n", name, dump_boolean(b1));