Re: peek-char problem Shiro Kawai 18 Jun 2020 10:13 UTC