print $ string a print $ string "a b"