Use int for printing characters in terminal_putch