[IR[__DexTer