#include <atf-c/map.h>