#include <atf-c/text.h>