skip_tochar       269 core/gui_script.c     ptr = skip_tochar(ptr, end);
skip_tochar       287 core/gui_script.c     int len = skip_tochar(ptr, end) - ptr;
skip_tochar       350 core/gui_script.c             const char *s = skip_tochar(ptr+1, *ptr);