#define MODULEVERIFIER_ELF64 1
#include "grub-module-verifierXX.c"