#ifndef thumb_16_def_tmp_h
#define thumb_16_def_tmp_h
#define armv7_read_thumb_16_instr_cps_thumb(r) NULL
#endif