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

void FUN_00422d3c(undefined4 param_1)

{

  fprintf(_stderr,"%s\n",param_1);

                    /* WARNING: Subroutine does not return */

  exit(2);

}