(define str "J\u0332o\u0332s\u0332e\u0301\u0332")