#include <atf-c/dynstr.h>