int sizeof_char(void);