fill in the impl for String.lines