added an example of __attribute__((noreturn))