#define INCLUDE_X86_ISA_LEVEL
#define MARKER dso_isa_level
#include <isa-level.c>
#include <markermodMARKER-VALUE.c>