printf(?t,"\"~a\"",?read\-line());