#include <stdlib.h> /* Test if the correct error code is propagated on a signal-induced exit. This should report 134 * (128 + 6 where 6 is SIGABRT) as its return code. */ int main(int argc, char* arvg[]) { abort(); }