#include <atf-c/sanity.h>