/* WARNING: Globals starting with '_' overlap smaller symbols at the same address */

void FUN_00400960(void)

{

  fputs("Usage: widget [options]\n",_stderr);

  fputs("       -s generate salt\n",_stderr);

  fputs("       -a [password file] generate login hash\n",_stderr);

  fputs("       -h  help information   \n",_stderr);

                    /* WARNING: Subroutine does not return */

  exit(0);

}