let w_crlf k e = string "\r\n" k e