1930 …t8 os_matched( picoos_char * str,  picoos_uint32 strlen, picoos_char * buf,  picoos_int32 bufpos) {  in os_matched()  argument
1932     while (i >= 0 && buf[bufpos] == str[i]) {  in os_matched()
1934         bufpos--;  in os_matched()
1935         if (bufpos < 0) {  in os_matched()
1936             bufpos = strlen-1;  in os_matched()
1963     picoos_uint8 strlen, bufpos;  in picoos_readPicoHeader()  local
1976         bufpos = strlen-1; /* last legal buf position */  in picoos_readPicoHeader()
1977         done = os_matched(str,strlen,buf,bufpos);  in picoos_readPicoHeader()
1980             bufpos = (bufpos + 1) % strlen;  in picoos_readPicoHeader()
1981             done = picoos_ReadBytes(f,(picoos_uint8 *)buf+bufpos,&n) && 1 == n;  in picoos_readPicoHeader()
1982             done = done && os_matched(str,strlen,buf,bufpos);  in picoos_readPicoHeader()