epsilon utter
us a string loop bound a a
string ___