#include <atf-c/io.h>