#include <atf-c/signals.h>