#include <atf-c/macros.h>