pvalchev 62bcba5536 getc() returns an int, not a char		2002-02-20 22:53:01 +00:00
..
patch-Dino_c	getc() returns an int, not a char	2002-02-20 22:53:01 +00:00
patch-DinoU_c	getc() returns an int, not a char	2002-02-20 22:53:01 +00:00