type_for_string.cpp