Then, write something to grab the “arch_kind” values from it. 32-bit apps have “arch_i32” there (“arch_i32_i64” is fine, I think)