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