#ifndef thumb_16_def_tmp_h
#define thumb_16_def_tmp_h
#endif