Symbol: et_putc