void writeCharCode(int charCode)