#include <atf-c/tc.h>