/* We cannot give any generic instruction to crash the program.
   abort() will have to make sure it never returns.  */