// i is a code-token (odd index)
// return value is also a code token, or end of list
static int tokFindNextLine(List<String> tok, int i) {
  while (i < tok.size() && tok.get(i-1).indexOf('\n') < 0)
    i += 2;
  return i;
}