(print--string case):