getc returns int, not char