/*
 * test the treatment of '\0' by the tool c2man.
 * test the treatment of '\0' by the tool c2man if you
 * specify latex output via the commandline '-Hl' and for the
 * default unix manpages.
 * I hope I have not added any side effects.
 */
extern void backslash_test();