Implement read_char()