desification: restrict memFI with access_reach
debug translation: hashing with (type index, Obj.t)