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