#137: stri_datetime_symbols