void FUN_0040273c(int param_1)

{

  printf("%s version %s\n","xmldb",&DAT_00421b54);

  printf("Usage: %s [OPTIONS]\n","xmldb");

  puts("  -h                    show this help message.");

  puts("  -v                    verbose mode.");

  printf("  -s {unix socket}      specify unixsocket to bind, default is %s .\n",

         "/var/run/xmldb_sock");

  puts("  -n {root name}        specify the name of XML root node.");

  puts(

      "  -p {file name}        specify the pid file name of xmldb, default is xmldb_{unixsocket}.pid."

      );

  puts("  -t                    use tlogs to translate log message.");

                    /* WARNING: Subroutine does not return */

  exit(param_1);

}