DSO__TYPE_X32BIT
dso_type = DSO__TYPE_X32BIT;
return DSO__TYPE_X32BIT;
if (dso_type == DSO__TYPE_X32BIT)
case DSO__TYPE_X32BIT: