1  setgetlen (a)
       2       int *a;
       3  {
       4    while (*a++ & 0x80000000)
       5      ;
       6  }