#include <stdnoreturn.h>