#include <signal.h>
#define SIGBUS                                                              (12)
/*
XOPEN(400)
POSIX(199309)
*/