How about doing away with type_flags entirely, now that we only build the C++ frontend with gcc? Jason