static L<CtxCase> ctxCases(S body) {
  L<S> lines = lines(body);
  int i = 0;
  new L<CtxCase> cases;
  while (i < l(lines)) {
    Pair<CtxCase, Int> p = ctxCase(lines, i);
    if (p == null) break;
    cases.add(p.a);
    i = p.b+1;
  }
  ret cases;
}