#ifndef thumb_32_def_tmp_h
#define thumb_32_def_tmp_h
#endif