Lines Matching refs:char
30 typedef char_blah = char;
78 int main (int argc, char *argv[])
111 int main (int argc, char *argv[])
145 void fun2(bitvec(array(char, 32)*));
148 void fun2(unsigned char *arr);
151 void fun2(unsigned char *arr) {}
158 unsigned char bytes[32] = {0x00};
224 void print_ptr(const char *format, ...);
226 void print_ptr(const char *format, ...) { }
236 typedef String = string(array(char, zero(256)));
239 char *get_string();
241 char *get_string() {
