Symbol: MDB_TGT_MODEL_ILP32