#include <atf-c/object.h>