#include <atf-c/ui.h>