DEFINE_INVALID_SIZE_PROG
DEFINE_INVALID_SIZE_PROG(u32, __failure __msg("Invalid read of 4 bytes from insn_array"))
#define DEFINE_INVALID_SIZE_PROG(READ_SIZE, OUTCOME) \