#include "error.h"
#include "../../coco/tdx/tdx-shared.c"