c++ char_properties -> evaluated_format_properties