#line 3440 "/home/travis/build/felix-lang/felix/src/packages/flx_web.fdoc"
  interface fileseq-control_t {
    whatami: 1 -> string;
    shownav: 1 -> string;
    docnum: 1 -> string;
    get-jscript: 1 -> string;
  }