camlinternalFormat.js

// Generated CODE, PLEASE EDIT WITH CARE
'use strict';

var Bytes                    = require("./bytes");
var Caml_builtin_exceptions  = require("../runtime/caml_builtin_exceptions");
var Caml_obj                 = require("../runtime/caml_obj");
var Caml_io                  = require("../runtime/caml_io");
var Caml_float               = require("../runtime/caml_float");
var Pervasives               = require("./pervasives");
var Caml_format              = require("../runtime/caml_format");
var Char                     = require("./char");
var Sys                      = require("./sys");
var CamlinternalFormatBasics = require("./camlinternalFormatBasics");
var Buffer                   = require("./buffer");
var $$String                 = require("./string");
var Caml_curry               = require("../runtime/caml_curry");
var Caml_string              = require("../runtime/caml_string");

function create_char_set() {
  return Bytes.make(32, /* "\000" */0);
}

function add_in_char_set(char_set, c) {
  var str_ind = (c >>> 3);
  var mask = (1 << (c & 7));
  char_set[str_ind] = Pervasives.char_of_int(char_set[str_ind] | mask);
  return /* () */0;
}

function freeze_char_set(char_set) {
  return Bytes.to_string(char_set);
}

function rev_char_set(char_set) {
  var char_set$prime = Bytes.make(32, /* "\000" */0);
  for(var i = 0; i<= 31; ++i){
    char_set$prime[i] = Pervasives.char_of_int(char_set.charCodeAt(i) ^ 255);
  }
  return Caml_string.bytes_to_string(char_set$prime);
}

function is_in_char_set(char_set, c) {
  var str_ind = (c >>> 3);
  var mask = (1 << (c & 7));
  return +((char_set.charCodeAt(str_ind) & mask) !== 0);
}

function pad_of_pad_opt(pad_opt) {
  if (pad_opt) {
    return /* Lit_padding */{
            0: /* Right */1,
            1: pad_opt[0],
            length: 2,
            tag: 0
          };
  }
  else {
    return /* No_padding */0;
  }
}

function prec_of_prec_opt(prec_opt) {
  if (prec_opt) {
    return /* Lit_precision */{
            0: prec_opt[0],
            length: 1,
            tag: 0
          };
  }
  else {
    return /* No_precision */0;
  }
}

function param_format_of_ignored_format(ign, fmt) {
  if (typeof ign === "number") {
    switch (ign) {
      case 0 : 
          return /* Param_format_EBB */{
                  0: /* Char */{
                    0: fmt,
                    length: 1,
                    tag: 0
                  },
                  length: 1,
                  tag: 0
                };
      case 1 : 
          return /* Param_format_EBB */{
                  0: /* Caml_char */{
                    0: fmt,
                    length: 1,
                    tag: 1
                  },
                  length: 1,
                  tag: 0
                };
      case 2 : 
          return /* Param_format_EBB */{
                  0: /* Bool */{
                    0: fmt,
                    length: 1,
                    tag: 9
                  },
                  length: 1,
                  tag: 0
                };
      case 3 : 
          return /* Param_format_EBB */{
                  0: /* Reader */{
                    0: fmt,
                    length: 1,
                    tag: 19
                  },
                  length: 1,
                  tag: 0
                };
      case 4 : 
          return /* Param_format_EBB */{
                  0: /* Scan_next_char */{
                    0: fmt,
                    length: 1,
                    tag: 22
                  },
                  length: 1,
                  tag: 0
                };
      
    }
  }
  else {
    switch (ign.tag | 0) {
      case 0 : 
          return /* Param_format_EBB */{
                  0: /* String */{
                    0: pad_of_pad_opt(ign[0]),
                    1: fmt,
                    length: 2,
                    tag: 2
                  },
                  length: 1,
                  tag: 0
                };
      case 1 : 
          return /* Param_format_EBB */{
                  0: /* Caml_string */{
                    0: pad_of_pad_opt(ign[0]),
                    1: fmt,
                    length: 2,
                    tag: 3
                  },
                  length: 1,
                  tag: 0
                };
      case 2 : 
          return /* Param_format_EBB */{
                  0: /* Int */{
                    0: ign[0],
                    1: pad_of_pad_opt(ign[1]),
                    2: /* No_precision */0,
                    3: fmt,
                    length: 4,
                    tag: 4
                  },
                  length: 1,
                  tag: 0
                };
      case 3 : 
          return /* Param_format_EBB */{
                  0: /* Int32 */{
                    0: ign[0],
                    1: pad_of_pad_opt(ign[1]),
                    2: /* No_precision */0,
                    3: fmt,
                    length: 4,
                    tag: 5
                  },
                  length: 1,
                  tag: 0
                };
      case 4 : 
          return /* Param_format_EBB */{
                  0: /* Nativeint */{
                    0: ign[0],
                    1: pad_of_pad_opt(ign[1]),
                    2: /* No_precision */0,
                    3: fmt,
                    length: 4,
                    tag: 6
                  },
                  length: 1,
                  tag: 0
                };
      case 5 : 
          return /* Param_format_EBB */{
                  0: /* Int64 */{
                    0: ign[0],
                    1: pad_of_pad_opt(ign[1]),
                    2: /* No_precision */0,
                    3: fmt,
                    length: 4,
                    tag: 7
                  },
                  length: 1,
                  tag: 0
                };
      case 6 : 
          return /* Param_format_EBB */{
                  0: /* Float */{
                    0: /* Float_f */0,
                    1: pad_of_pad_opt(ign[0]),
                    2: prec_of_prec_opt(ign[1]),
                    3: fmt,
                    length: 4,
                    tag: 8
                  },
                  length: 1,
                  tag: 0
                };
      case 7 : 
          return /* Param_format_EBB */{
                  0: /* Format_arg */{
                    0: ign[0],
                    1: ign[1],
                    2: fmt,
                    length: 3,
                    tag: 13
                  },
                  length: 1,
                  tag: 0
                };
      case 8 : 
          return /* Param_format_EBB */{
                  0: /* Format_subst */{
                    0: ign[0],
                    1: ign[1],
                    2: fmt,
                    length: 3,
                    tag: 14
                  },
                  length: 1,
                  tag: 0
                };
      case 9 : 
          return /* Param_format_EBB */{
                  0: /* Scan_char_set */{
                    0: ign[0],
                    1: ign[1],
                    2: fmt,
                    length: 3,
                    tag: 20
                  },
                  length: 1,
                  tag: 0
                };
      case 10 : 
          return /* Param_format_EBB */{
                  0: /* Scan_get_counter */{
                    0: ign[0],
                    1: fmt,
                    length: 2,
                    tag: 21
                  },
                  length: 1,
                  tag: 0
                };
      
    }
  }
}

function buffer_check_size(buf, overhead) {
  var len = buf[/* bytes */1].length;
  var min_len = buf[/* ind */0] + overhead;
  if (min_len > len) {
    var new_len = Pervasives.max(len * 2, min_len);
    var new_str = Caml_string.caml_create_string(new_len);
    Bytes.blit(buf[/* bytes */1], 0, new_str, 0, len);
    buf[/* bytes */1] = new_str;
    return /* () */0;
  }
  else {
    return 0;
  }
}

function buffer_add_char(buf, c) {
  buffer_check_size(buf, 1);
  buf[/* bytes */1][buf[/* ind */0]] = c;
  ++ buf[0];
  return /* () */0;
}

function buffer_add_string(buf, s) {
  var str_len = s.length;
  buffer_check_size(buf, str_len);
  $$String.blit(s, 0, buf[/* bytes */1], buf[/* ind */0], str_len);
  buf[0] += str_len;
  return /* () */0;
}

function buffer_contents(buf) {
  return Bytes.sub_string(buf[/* bytes */1], 0, buf[/* ind */0]);
}

function char_of_iconv(iconv) {
  switch (iconv) {
    case 0 : 
    case 1 : 
    case 2 : 
        return /* "d" */100;
    case 3 : 
    case 4 : 
    case 5 : 
        return /* "i" */105;
    case 6 : 
    case 7 : 
        return /* "x" */120;
    case 8 : 
    case 9 : 
        return /* "X" */88;
    case 10 : 
    case 11 : 
        return /* "o" */111;
    case 12 : 
        return /* "u" */117;
    
  }
}

function char_of_fconv(fconv) {
  switch (fconv) {
    case 0 : 
    case 1 : 
    case 2 : 
        return /* "f" */102;
    case 3 : 
    case 4 : 
    case 5 : 
        return /* "e" */101;
    case 6 : 
    case 7 : 
    case 8 : 
        return /* "E" */69;
    case 9 : 
    case 10 : 
    case 11 : 
        return /* "g" */103;
    case 12 : 
    case 13 : 
    case 14 : 
        return /* "G" */71;
    case 15 : 
        return /* "F" */70;
    
  }
}

function char_of_counter(counter) {
  switch (counter) {
    case 0 : 
        return /* "l" */108;
    case 1 : 
        return /* "n" */110;
    case 2 : 
        return /* "N" */78;
    
  }
}

function bprint_char_set(buf, char_set) {
  var print_start = function (set) {
    var is_alone = function (c) {
      var match_000 = Char.chr(c - 1);
      var match_001 = Char.chr(c + 1);
      if (is_in_char_set(set, c)) {
        return !(is_in_char_set(set, match_000) && is_in_char_set(set, match_001));
      }
      else {
        return /* false */0;
      }
    };
    if (is_alone(/* "]" */93)) {
      buffer_add_char(buf, /* "]" */93);
    }
    print_out(set, 1);
    if (is_alone(/* "-" */45)) {
      return buffer_add_char(buf, /* "-" */45);
    }
    else {
      return 0;
    }
  };
  var print_out = function (set, _i) {
    while(true) {
      var i = _i;
      if (i < 256) {
        if (is_in_char_set(set, Pervasives.char_of_int(i))) {
          var set$1 = set;
          var i$1 = i;
          var match = Pervasives.char_of_int(i$1);
          var switcher = match - 45;
          if (switcher > 48 || switcher < 0) {
            if (switcher >= 210) {
              return print_char(buf, 255);
            }
            else {
              return print_second(set$1, i$1 + 1);
            }
          }
          else if (switcher > 47 || switcher < 1) {
            return print_out(set$1, i$1 + 1);
          }
          else {
            return print_second(set$1, i$1 + 1);
          }
        }
        else {
          _i = i + 1;
          continue ;
          
        }
      }
      else {
        return 0;
      }
    };
  };
  var print_second = function (set, i) {
    if (is_in_char_set(set, Pervasives.char_of_int(i))) {
      var match = Pervasives.char_of_int(i);
      var exit = 0;
      var switcher = match - 45;
      if (switcher > 48 || switcher < 0) {
        if (switcher >= 210) {
          print_char(buf, 254);
          return print_char(buf, 255);
        }
        else {
          exit = 1;
        }
      }
      else if (switcher > 47 || switcher < 1) {
        if (is_in_char_set(set, Pervasives.char_of_int(i + 1))) {
          exit = 1;
        }
        else {
          print_char(buf, i - 1);
          return print_out(set, i + 1);
        }
      }
      else {
        exit = 1;
      }
      if (exit === 1) {
        if (is_in_char_set(set, Pervasives.char_of_int(i + 1))) {
          var set$1 = set;
          var i$1 = i - 1;
          var _j = i + 2;
          while(true) {
            var j = _j;
            if (j === 256 || !is_in_char_set(set$1, Pervasives.char_of_int(j))) {
              print_char(buf, i$1);
              print_char(buf, /* "-" */45);
              print_char(buf, j - 1);
              if (j < 256) {
                return print_out(set$1, j + 1);
              }
              else {
                return 0;
              }
            }
            else {
              _j = j + 1;
              continue ;
              
            }
          };
        }
        else {
          print_char(buf, i - 1);
          print_char(buf, i);
          return print_out(set, i + 2);
        }
      }
      
    }
    else {
      print_char(buf, i - 1);
      return print_out(set, i + 1);
    }
  };
  var print_char = function (buf, i) {
    var c = Pervasives.char_of_int(i);
    if (c !== 37) {
      if (c !== 64) {
        return buffer_add_char(buf, c);
      }
      else {
        buffer_add_char(buf, /* "%" */37);
        return buffer_add_char(buf, /* "@" */64);
      }
    }
    else {
      buffer_add_char(buf, /* "%" */37);
      return buffer_add_char(buf, /* "%" */37);
    }
  };
  buffer_add_char(buf, /* "[" */91);
  print_start(is_in_char_set(char_set, /* "\000" */0) ? (buffer_add_char(buf, /* "^" */94), rev_char_set(char_set)) : char_set);
  return buffer_add_char(buf, /* "]" */93);
}

function bprint_padty(buf, padty) {
  switch (padty) {
    case 0 : 
        return buffer_add_char(buf, /* "-" */45);
    case 1 : 
        return /* () */0;
    case 2 : 
        return buffer_add_char(buf, /* "0" */48);
    
  }
}

function bprint_ignored_flag(buf, ign_flag) {
  if (ign_flag) {
    return buffer_add_char(buf, /* "_" */95);
  }
  else {
    return 0;
  }
}

function bprint_pad_opt(buf, pad_opt) {
  if (pad_opt) {
    return buffer_add_string(buf, "" + pad_opt[0]);
  }
  else {
    return /* () */0;
  }
}

function bprint_padding(buf, pad) {
  if (typeof pad === "number") {
    return /* () */0;
  }
  else {
    bprint_padty(buf, pad[0]);
    if (pad.tag) {
      return buffer_add_char(buf, /* "*" */42);
    }
    else {
      return buffer_add_string(buf, "" + pad[1]);
    }
  }
}

function bprint_precision(buf, prec) {
  if (typeof prec === "number") {
    if (prec !== 0) {
      return buffer_add_string(buf, ".*");
    }
    else {
      return /* () */0;
    }
  }
  else {
    buffer_add_char(buf, /* "." */46);
    return buffer_add_string(buf, "" + prec[0]);
  }
}

function bprint_iconv_flag(buf, iconv) {
  switch (iconv) {
    case 1 : 
    case 4 : 
        return buffer_add_char(buf, /* "+" */43);
    case 2 : 
    case 5 : 
        return buffer_add_char(buf, /* " " */32);
    case 7 : 
    case 9 : 
    case 11 : 
        return buffer_add_char(buf, /* "#" */35);
    case 0 : 
    case 3 : 
    case 6 : 
    case 8 : 
    case 10 : 
    case 12 : 
        return /* () */0;
    
  }
}

function bprint_int_fmt(buf, ign_flag, iconv, pad, prec) {
  buffer_add_char(buf, /* "%" */37);
  bprint_ignored_flag(buf, ign_flag);
  bprint_iconv_flag(buf, iconv);
  bprint_padding(buf, pad);
  bprint_precision(buf, prec);
  return buffer_add_char(buf, char_of_iconv(iconv));
}

function bprint_altint_fmt(buf, ign_flag, iconv, pad, prec, c) {
  buffer_add_char(buf, /* "%" */37);
  bprint_ignored_flag(buf, ign_flag);
  bprint_iconv_flag(buf, iconv);
  bprint_padding(buf, pad);
  bprint_precision(buf, prec);
  buffer_add_char(buf, c);
  return buffer_add_char(buf, char_of_iconv(iconv));
}

function bprint_fconv_flag(buf, fconv) {
  switch (fconv) {
    case 1 : 
    case 4 : 
    case 7 : 
    case 10 : 
    case 13 : 
        return buffer_add_char(buf, /* "+" */43);
    case 2 : 
    case 5 : 
    case 8 : 
    case 11 : 
    case 14 : 
        return buffer_add_char(buf, /* " " */32);
    case 0 : 
    case 3 : 
    case 6 : 
    case 9 : 
    case 12 : 
    case 15 : 
        return /* () */0;
    
  }
}

function bprint_float_fmt(buf, ign_flag, fconv, pad, prec) {
  buffer_add_char(buf, /* "%" */37);
  bprint_ignored_flag(buf, ign_flag);
  bprint_fconv_flag(buf, fconv);
  bprint_padding(buf, pad);
  bprint_precision(buf, prec);
  return buffer_add_char(buf, char_of_fconv(fconv));
}

function string_of_formatting_lit(formatting_lit) {
  if (typeof formatting_lit === "number") {
    switch (formatting_lit) {
      case 0 : 
          return "@]";
      case 1 : 
          return "@}";
      case 2 : 
          return "@?";
      case 3 : 
          return "@\n";
      case 4 : 
          return "@.";
      case 5 : 
          return "@@";
      case 6 : 
          return "@%";
      
    }
  }
  else {
    switch (formatting_lit.tag | 0) {
      case 0 : 
      case 1 : 
          return formatting_lit[0];
      case 2 : 
          return "@" + Caml_string.bytes_to_string(Bytes.make(1, formatting_lit[0]));
      
    }
  }
}

function string_of_formatting_gen(formatting_gen) {
  return formatting_gen[0][1];
}

function bprint_char_literal(buf, chr) {
  if (chr !== 37) {
    return buffer_add_char(buf, chr);
  }
  else {
    return buffer_add_string(buf, "%%");
  }
}

function bprint_string_literal(buf, str) {
  for(var i = 0 ,i_finish = str.length - 1; i<= i_finish; ++i){
    bprint_char_literal(buf, str.charCodeAt(i));
  }
  return /* () */0;
}

function bprint_fmtty(buf, _fmtty) {
  while(true) {
    var fmtty = _fmtty;
    if (typeof fmtty === "number") {
      return /* () */0;
    }
    else {
      switch (fmtty.tag | 0) {
        case 0 : 
            buffer_add_string(buf, "%c");
            _fmtty = fmtty[0];
            continue ;
            case 1 : 
            buffer_add_string(buf, "%s");
            _fmtty = fmtty[0];
            continue ;
            case 2 : 
            buffer_add_string(buf, "%i");
            _fmtty = fmtty[0];
            continue ;
            case 3 : 
            buffer_add_string(buf, "%li");
            _fmtty = fmtty[0];
            continue ;
            case 4 : 
            buffer_add_string(buf, "%ni");
            _fmtty = fmtty[0];
            continue ;
            case 5 : 
            buffer_add_string(buf, "%Li");
            _fmtty = fmtty[0];
            continue ;
            case 6 : 
            buffer_add_string(buf, "%f");
            _fmtty = fmtty[0];
            continue ;
            case 7 : 
            buffer_add_string(buf, "%B");
            _fmtty = fmtty[0];
            continue ;
            case 8 : 
            buffer_add_string(buf, "%{");
            bprint_fmtty(buf, fmtty[0]);
            buffer_add_string(buf, "%}");
            _fmtty = fmtty[1];
            continue ;
            case 9 : 
            buffer_add_string(buf, "%(");
            bprint_fmtty(buf, fmtty[0]);
            buffer_add_string(buf, "%)");
            _fmtty = fmtty[2];
            continue ;
            case 10 : 
            buffer_add_string(buf, "%a");
            _fmtty = fmtty[0];
            continue ;
            case 11 : 
            buffer_add_string(buf, "%t");
            _fmtty = fmtty[0];
            continue ;
            case 12 : 
            buffer_add_string(buf, "%?");
            _fmtty = fmtty[0];
            continue ;
            case 13 : 
            buffer_add_string(buf, "%r");
            _fmtty = fmtty[0];
            continue ;
            case 14 : 
            buffer_add_string(buf, "%_r");
            _fmtty = fmtty[0];
            continue ;
            
      }
    }
  };
}

function int_of_custom_arity(param) {
  if (param) {
    return 1 + int_of_custom_arity(param[0]);
  }
  else {
    return 0;
  }
}

function bprint_fmt(buf, fmt) {
  var _fmt = fmt;
  var _ign_flag = /* false */0;
  while(true) {
    var ign_flag = _ign_flag;
    var fmt$1 = _fmt;
    if (typeof fmt$1 === "number") {
      return /* () */0;
    }
    else {
      switch (fmt$1.tag | 0) {
        case 0 : 
            buffer_add_char(buf, /* "%" */37);
            bprint_ignored_flag(buf, ign_flag);
            buffer_add_char(buf, /* "c" */99);
            _ign_flag = /* false */0;
            _fmt = fmt$1[0];
            continue ;
            case 1 : 
            buffer_add_char(buf, /* "%" */37);
            bprint_ignored_flag(buf, ign_flag);
            buffer_add_char(buf, /* "C" */67);
            _ign_flag = /* false */0;
            _fmt = fmt$1[0];
            continue ;
            case 2 : 
            buffer_add_char(buf, /* "%" */37);
            bprint_ignored_flag(buf, ign_flag);
            bprint_padding(buf, fmt$1[0]);
            buffer_add_char(buf, /* "s" */115);
            _ign_flag = /* false */0;
            _fmt = fmt$1[1];
            continue ;
            case 3 : 
            buffer_add_char(buf, /* "%" */37);
            bprint_ignored_flag(buf, ign_flag);
            bprint_padding(buf, fmt$1[0]);
            buffer_add_char(buf, /* "S" */83);
            _ign_flag = /* false */0;
            _fmt = fmt$1[1];
            continue ;
            case 4 : 
            bprint_int_fmt(buf, ign_flag, fmt$1[0], fmt$1[1], fmt$1[2]);
            _ign_flag = /* false */0;
            _fmt = fmt$1[3];
            continue ;
            case 5 : 
            bprint_altint_fmt(buf, ign_flag, fmt$1[0], fmt$1[1], fmt$1[2], /* "l" */108);
            _ign_flag = /* false */0;
            _fmt = fmt$1[3];
            continue ;
            case 6 : 
            bprint_altint_fmt(buf, ign_flag, fmt$1[0], fmt$1[1], fmt$1[2], /* "n" */110);
            _ign_flag = /* false */0;
            _fmt = fmt$1[3];
            continue ;
            case 7 : 
            bprint_altint_fmt(buf, ign_flag, fmt$1[0], fmt$1[1], fmt$1[2], /* "L" */76);
            _ign_flag = /* false */0;
            _fmt = fmt$1[3];
            continue ;
            case 8 : 
            bprint_float_fmt(buf, ign_flag, fmt$1[0], fmt$1[1], fmt$1[2]);
            _ign_flag = /* false */0;
            _fmt = fmt$1[3];
            continue ;
            case 9 : 
            buffer_add_char(buf, /* "%" */37);
            bprint_ignored_flag(buf, ign_flag);
            buffer_add_char(buf, /* "B" */66);
            _ign_flag = /* false */0;
            _fmt = fmt$1[0];
            continue ;
            case 10 : 
            buffer_add_string(buf, "%!");
            _fmt = fmt$1[0];
            continue ;
            case 11 : 
            bprint_string_literal(buf, fmt$1[0]);
            _fmt = fmt$1[1];
            continue ;
            case 12 : 
            bprint_char_literal(buf, fmt$1[0]);
            _fmt = fmt$1[1];
            continue ;
            case 13 : 
            buffer_add_char(buf, /* "%" */37);
            bprint_ignored_flag(buf, ign_flag);
            bprint_pad_opt(buf, fmt$1[0]);
            buffer_add_char(buf, /* "{" */123);
            bprint_fmtty(buf, fmt$1[1]);
            buffer_add_char(buf, /* "%" */37);
            buffer_add_char(buf, /* "}" */125);
            _ign_flag = /* false */0;
            _fmt = fmt$1[2];
            continue ;
            case 14 : 
            buffer_add_char(buf, /* "%" */37);
            bprint_ignored_flag(buf, ign_flag);
            bprint_pad_opt(buf, fmt$1[0]);
            buffer_add_char(buf, /* "(" */40);
            bprint_fmtty(buf, fmt$1[1]);
            buffer_add_char(buf, /* "%" */37);
            buffer_add_char(buf, /* ")" */41);
            _ign_flag = /* false */0;
            _fmt = fmt$1[2];
            continue ;
            case 15 : 
            buffer_add_char(buf, /* "%" */37);
            bprint_ignored_flag(buf, ign_flag);
            buffer_add_char(buf, /* "a" */97);
            _ign_flag = /* false */0;
            _fmt = fmt$1[0];
            continue ;
            case 16 : 
            buffer_add_char(buf, /* "%" */37);
            bprint_ignored_flag(buf, ign_flag);
            buffer_add_char(buf, /* "t" */116);
            _ign_flag = /* false */0;
            _fmt = fmt$1[0];
            continue ;
            case 17 : 
            bprint_string_literal(buf, string_of_formatting_lit(fmt$1[0]));
            _fmt = fmt$1[1];
            continue ;
            case 18 : 
            bprint_string_literal(buf, "@{");
            bprint_string_literal(buf, string_of_formatting_gen(fmt$1[0]));
            _fmt = fmt$1[1];
            continue ;
            case 19 : 
            buffer_add_char(buf, /* "%" */37);
            bprint_ignored_flag(buf, ign_flag);
            buffer_add_char(buf, /* "r" */114);
            _ign_flag = /* false */0;
            _fmt = fmt$1[0];
            continue ;
            case 20 : 
            buffer_add_char(buf, /* "%" */37);
            bprint_ignored_flag(buf, ign_flag);
            bprint_pad_opt(buf, fmt$1[0]);
            bprint_char_set(buf, fmt$1[1]);
            _ign_flag = /* false */0;
            _fmt = fmt$1[2];
            continue ;
            case 21 : 
            buffer_add_char(buf, /* "%" */37);
            bprint_ignored_flag(buf, ign_flag);
            buffer_add_char(buf, char_of_counter(fmt$1[0]));
            _ign_flag = /* false */0;
            _fmt = fmt$1[1];
            continue ;
            case 22 : 
            buffer_add_char(buf, /* "%" */37);
            bprint_ignored_flag(buf, ign_flag);
            bprint_string_literal(buf, "0c");
            _ign_flag = /* false */0;
            _fmt = fmt$1[0];
            continue ;
            case 23 : 
            var match = param_format_of_ignored_format(fmt$1[0], fmt$1[1]);
            _ign_flag = /* true */1;
            _fmt = match[0];
            continue ;
            case 24 : 
            for(var _i = 1 ,_i_finish = int_of_custom_arity(fmt$1[0]); _i<= _i_finish; ++_i){
              buffer_add_char(buf, /* "%" */37);
              bprint_ignored_flag(buf, ign_flag);
              buffer_add_char(buf, /* "?" */63);
            }
            _ign_flag = /* false */0;
            _fmt = fmt$1[2];
            continue ;
            
      }
    }
  };
}

function string_of_fmt(fmt) {
  var buf = /* record */[
    0,
    new Array(16)
  ];
  bprint_fmt(buf, fmt);
  return buffer_contents(buf);
}

function symm(param) {
  if (typeof param === "number") {
    return /* End_of_fmtty */0;
  }
  else {
    switch (param.tag | 0) {
      case 0 : 
          return /* Char_ty */{
                  0: symm(param[0]),
                  length: 1,
                  tag: 0
                };
      case 1 : 
          return /* String_ty */{
                  0: symm(param[0]),
                  length: 1,
                  tag: 1
                };
      case 2 : 
          return /* Int_ty */{
                  0: symm(param[0]),
                  length: 1,
                  tag: 2
                };
      case 3 : 
          return /* Int32_ty */{
                  0: symm(param[0]),
                  length: 1,
                  tag: 3
                };
      case 4 : 
          return /* Nativeint_ty */{
                  0: symm(param[0]),
                  length: 1,
                  tag: 4
                };
      case 5 : 
          return /* Int64_ty */{
                  0: symm(param[0]),
                  length: 1,
                  tag: 5
                };
      case 6 : 
          return /* Float_ty */{
                  0: symm(param[0]),
                  length: 1,
                  tag: 6
                };
      case 7 : 
          return /* Bool_ty */{
                  0: symm(param[0]),
                  length: 1,
                  tag: 7
                };
      case 8 : 
          return /* Format_arg_ty */{
                  0: param[0],
                  1: symm(param[1]),
                  length: 2,
                  tag: 8
                };
      case 9 : 
          return /* Format_subst_ty */{
                  0: param[1],
                  1: param[0],
                  2: symm(param[2]),
                  length: 3,
                  tag: 9
                };
      case 10 : 
          return /* Alpha_ty */{
                  0: symm(param[0]),
                  length: 1,
                  tag: 10
                };
      case 11 : 
          return /* Theta_ty */{
                  0: symm(param[0]),
                  length: 1,
                  tag: 11
                };
      case 12 : 
          return /* Any_ty */{
                  0: symm(param[0]),
                  length: 1,
                  tag: 12
                };
      case 13 : 
          return /* Reader_ty */{
                  0: symm(param[0]),
                  length: 1,
                  tag: 13
                };
      case 14 : 
          return /* Ignored_reader_ty */{
                  0: symm(param[0]),
                  length: 1,
                  tag: 14
                };
      
    }
  }
}

function fmtty_rel_det(param) {
  if (typeof param === "number") {
    return /* tuple */[
            function () {
              return /* Refl */0;
            },
            function () {
              return /* Refl */0;
            },
            function () {
              return /* Refl */0;
            },
            function () {
              return /* Refl */0;
            }
          ];
  }
  else {
    switch (param.tag | 0) {
      case 0 : 
          var match = fmtty_rel_det(param[0]);
          var af = match[1];
          var fa = match[0];
          return /* tuple */[
                  function () {
                    Caml_curry.app1(fa, /* Refl */0);
                    return /* Refl */0;
                  },
                  function () {
                    Caml_curry.app1(af, /* Refl */0);
                    return /* Refl */0;
                  },
                  match[2],
                  match[3]
                ];
      case 1 : 
          var match$1 = fmtty_rel_det(param[0]);
          var af$1 = match$1[1];
          var fa$1 = match$1[0];
          return /* tuple */[
                  function () {
                    Caml_curry.app1(fa$1, /* Refl */0);
                    return /* Refl */0;
                  },
                  function () {
                    Caml_curry.app1(af$1, /* Refl */0);
                    return /* Refl */0;
                  },
                  match$1[2],
                  match$1[3]
                ];
      case 2 : 
          var match$2 = fmtty_rel_det(param[0]);
          var af$2 = match$2[1];
          var fa$2 = match$2[0];
          return /* tuple */[
                  function () {
                    Caml_curry.app1(fa$2, /* Refl */0);
                    return /* Refl */0;
                  },
                  function () {
                    Caml_curry.app1(af$2, /* Refl */0);
                    return /* Refl */0;
                  },
                  match$2[2],
                  match$2[3]
                ];
      case 3 : 
          var match$3 = fmtty_rel_det(param[0]);
          var af$3 = match$3[1];
          var fa$3 = match$3[0];
          return /* tuple */[
                  function () {
                    Caml_curry.app1(fa$3, /* Refl */0);
                    return /* Refl */0;
                  },
                  function () {
                    Caml_curry.app1(af$3, /* Refl */0);
                    return /* Refl */0;
                  },
                  match$3[2],
                  match$3[3]
                ];
      case 4 : 
          var match$4 = fmtty_rel_det(param[0]);
          var af$4 = match$4[1];
          var fa$4 = match$4[0];
          return /* tuple */[
                  function () {
                    Caml_curry.app1(fa$4, /* Refl */0);
                    return /* Refl */0;
                  },
                  function () {
                    Caml_curry.app1(af$4, /* Refl */0);
                    return /* Refl */0;
                  },
                  match$4[2],
                  match$4[3]
                ];
      case 5 : 
          var match$5 = fmtty_rel_det(param[0]);
          var af$5 = match$5[1];
          var fa$5 = match$5[0];
          return /* tuple */[
                  function () {
                    Caml_curry.app1(fa$5, /* Refl */0);
                    return /* Refl */0;
                  },
                  function () {
                    Caml_curry.app1(af$5, /* Refl */0);
                    return /* Refl */0;
                  },
                  match$5[2],
                  match$5[3]
                ];
      case 6 : 
          var match$6 = fmtty_rel_det(param[0]);
          var af$6 = match$6[1];
          var fa$6 = match$6[0];
          return /* tuple */[
                  function () {
                    Caml_curry.app1(fa$6, /* Refl */0);
                    return /* Refl */0;
                  },
                  function () {
                    Caml_curry.app1(af$6, /* Refl */0);
                    return /* Refl */0;
                  },
                  match$6[2],
                  match$6[3]
                ];
      case 7 : 
          var match$7 = fmtty_rel_det(param[0]);
          var af$7 = match$7[1];
          var fa$7 = match$7[0];
          return /* tuple */[
                  function () {
                    Caml_curry.app1(fa$7, /* Refl */0);
                    return /* Refl */0;
                  },
                  function () {
                    Caml_curry.app1(af$7, /* Refl */0);
                    return /* Refl */0;
                  },
                  match$7[2],
                  match$7[3]
                ];
      case 8 : 
          var match$8 = fmtty_rel_det(param[1]);
          var af$8 = match$8[1];
          var fa$8 = match$8[0];
          return /* tuple */[
                  function () {
                    Caml_curry.app1(fa$8, /* Refl */0);
                    return /* Refl */0;
                  },
                  function () {
                    Caml_curry.app1(af$8, /* Refl */0);
                    return /* Refl */0;
                  },
                  match$8[2],
                  match$8[3]
                ];
      case 9 : 
          var match$9 = fmtty_rel_det(param[2]);
          var de = match$9[3];
          var ed = match$9[2];
          var af$9 = match$9[1];
          var fa$9 = match$9[0];
          var ty = trans(symm(param[0]), param[1]);
          var match$10 = fmtty_rel_det(ty);
          var jd = match$10[3];
          var dj = match$10[2];
          var ga = match$10[1];
          var ag = match$10[0];
          return /* tuple */[
                  function () {
                    Caml_curry.app1(fa$9, /* Refl */0);
                    Caml_curry.app1(ag, /* Refl */0);
                    return /* Refl */0;
                  },
                  function () {
                    Caml_curry.app1(ga, /* Refl */0);
                    Caml_curry.app1(af$9, /* Refl */0);
                    return /* Refl */0;
                  },
                  function () {
                    Caml_curry.app1(ed, /* Refl */0);
                    Caml_curry.app1(dj, /* Refl */0);
                    return /* Refl */0;
                  },
                  function () {
                    Caml_curry.app1(jd, /* Refl */0);
                    Caml_curry.app1(de, /* Refl */0);
                    return /* Refl */0;
                  }
                ];
      case 10 : 
          var match$11 = fmtty_rel_det(param[0]);
          var af$10 = match$11[1];
          var fa$10 = match$11[0];
          return /* tuple */[
                  function () {
                    Caml_curry.app1(fa$10, /* Refl */0);
                    return /* Refl */0;
                  },
                  function () {
                    Caml_curry.app1(af$10, /* Refl */0);
                    return /* Refl */0;
                  },
                  match$11[2],
                  match$11[3]
                ];
      case 11 : 
          var match$12 = fmtty_rel_det(param[0]);
          var af$11 = match$12[1];
          var fa$11 = match$12[0];
          return /* tuple */[
                  function () {
                    Caml_curry.app1(fa$11, /* Refl */0);
                    return /* Refl */0;
                  },
                  function () {
                    Caml_curry.app1(af$11, /* Refl */0);
                    return /* Refl */0;
                  },
                  match$12[2],
                  match$12[3]
                ];
      case 12 : 
          var match$13 = fmtty_rel_det(param[0]);
          var af$12 = match$13[1];
          var fa$12 = match$13[0];
          return /* tuple */[
                  function () {
                    Caml_curry.app1(fa$12, /* Refl */0);
                    return /* Refl */0;
                  },
                  function () {
                    Caml_curry.app1(af$12, /* Refl */0);
                    return /* Refl */0;
                  },
                  match$13[2],
                  match$13[3]
                ];
      case 13 : 
          var match$14 = fmtty_rel_det(param[0]);
          var de$1 = match$14[3];
          var ed$1 = match$14[2];
          var af$13 = match$14[1];
          var fa$13 = match$14[0];
          return /* tuple */[
                  function () {
                    Caml_curry.app1(fa$13, /* Refl */0);
                    return /* Refl */0;
                  },
                  function () {
                    Caml_curry.app1(af$13, /* Refl */0);
                    return /* Refl */0;
                  },
                  function () {
                    Caml_curry.app1(ed$1, /* Refl */0);
                    return /* Refl */0;
                  },
                  function () {
                    Caml_curry.app1(de$1, /* Refl */0);
                    return /* Refl */0;
                  }
                ];
      case 14 : 
          var match$15 = fmtty_rel_det(param[0]);
          var de$2 = match$15[3];
          var ed$2 = match$15[2];
          var af$14 = match$15[1];
          var fa$14 = match$15[0];
          return /* tuple */[
                  function () {
                    Caml_curry.app1(fa$14, /* Refl */0);
                    return /* Refl */0;
                  },
                  function () {
                    Caml_curry.app1(af$14, /* Refl */0);
                    return /* Refl */0;
                  },
                  function () {
                    Caml_curry.app1(ed$2, /* Refl */0);
                    return /* Refl */0;
                  },
                  function () {
                    Caml_curry.app1(de$2, /* Refl */0);
                    return /* Refl */0;
                  }
                ];
      
    }
  }
}

function trans(ty1, ty2) {
  var exit = 0;
  if (typeof ty1 === "number") {
    if (typeof ty2 === "number") {
      if (ty2) {
        throw [
              Caml_builtin_exceptions.assert_failure,
              [
                "camlinternalFormat.ml",
                816,
                23
              ]
            ];
      }
      else {
        return /* End_of_fmtty */0;
      }
    }
    else {
      switch (ty2.tag | 0) {
        case 8 : 
            exit = 6;
            break;
        case 9 : 
            exit = 7;
            break;
        case 10 : 
            exit = 1;
            break;
        case 11 : 
            exit = 2;
            break;
        case 12 : 
            exit = 3;
            break;
        case 13 : 
            exit = 4;
            break;
        case 14 : 
            exit = 5;
            break;
        default:
          throw [
                Caml_builtin_exceptions.assert_failure,
                [
                  "camlinternalFormat.ml",
                  816,
                  23
                ]
              ];
      }
    }
  }
  else {
    switch (ty1.tag | 0) {
      case 0 : 
          if (typeof ty2 === "number") {
            exit = 8;
          }
          else {
            switch (ty2.tag | 0) {
              case 0 : 
                  return /* Char_ty */{
                          0: trans(ty1[0], ty2[0]),
                          length: 1,
                          tag: 0
                        };
              case 8 : 
                  exit = 6;
                  break;
              case 9 : 
                  exit = 7;
                  break;
              case 10 : 
                  exit = 1;
                  break;
              case 11 : 
                  exit = 2;
                  break;
              case 12 : 
                  exit = 3;
                  break;
              case 13 : 
                  exit = 4;
                  break;
              case 14 : 
                  exit = 5;
                  break;
              
            }
          }
          break;
      case 1 : 
          if (typeof ty2 === "number") {
            exit = 8;
          }
          else {
            switch (ty2.tag | 0) {
              case 1 : 
                  return /* String_ty */{
                          0: trans(ty1[0], ty2[0]),
                          length: 1,
                          tag: 1
                        };
              case 8 : 
                  exit = 6;
                  break;
              case 9 : 
                  exit = 7;
                  break;
              case 10 : 
                  exit = 1;
                  break;
              case 11 : 
                  exit = 2;
                  break;
              case 12 : 
                  exit = 3;
                  break;
              case 13 : 
                  exit = 4;
                  break;
              case 14 : 
                  exit = 5;
                  break;
              
            }
          }
          break;
      case 2 : 
          if (typeof ty2 === "number") {
            exit = 8;
          }
          else {
            switch (ty2.tag | 0) {
              case 2 : 
                  return /* Int_ty */{
                          0: trans(ty1[0], ty2[0]),
                          length: 1,
                          tag: 2
                        };
              case 8 : 
                  exit = 6;
                  break;
              case 9 : 
                  exit = 7;
                  break;
              case 10 : 
                  exit = 1;
                  break;
              case 11 : 
                  exit = 2;
                  break;
              case 12 : 
                  exit = 3;
                  break;
              case 13 : 
                  exit = 4;
                  break;
              case 14 : 
                  exit = 5;
                  break;
              
            }
          }
          break;
      case 3 : 
          if (typeof ty2 === "number") {
            exit = 8;
          }
          else {
            switch (ty2.tag | 0) {
              case 3 : 
                  return /* Int32_ty */{
                          0: trans(ty1[0], ty2[0]),
                          length: 1,
                          tag: 3
                        };
              case 8 : 
                  exit = 6;
                  break;
              case 9 : 
                  exit = 7;
                  break;
              case 10 : 
                  exit = 1;
                  break;
              case 11 : 
                  exit = 2;
                  break;
              case 12 : 
                  exit = 3;
                  break;
              case 13 : 
                  exit = 4;
                  break;
              case 14 : 
                  exit = 5;
                  break;
              
            }
          }
          break;
      case 4 : 
          if (typeof ty2 === "number") {
            exit = 8;
          }
          else {
            switch (ty2.tag | 0) {
              case 4 : 
                  return /* Nativeint_ty */{
                          0: trans(ty1[0], ty2[0]),
                          length: 1,
                          tag: 4
                        };
              case 8 : 
                  exit = 6;
                  break;
              case 9 : 
                  exit = 7;
                  break;
              case 10 : 
                  exit = 1;
                  break;
              case 11 : 
                  exit = 2;
                  break;
              case 12 : 
                  exit = 3;
                  break;
              case 13 : 
                  exit = 4;
                  break;
              case 14 : 
                  exit = 5;
                  break;
              
            }
          }
          break;
      case 5 : 
          if (typeof ty2 === "number") {
            exit = 8;
          }
          else {
            switch (ty2.tag | 0) {
              case 5 : 
                  return /* Int64_ty */{
                          0: trans(ty1[0], ty2[0]),
                          length: 1,
                          tag: 5
                        };
              case 8 : 
                  exit = 6;
                  break;
              case 9 : 
                  exit = 7;
                  break;
              case 10 : 
                  exit = 1;
                  break;
              case 11 : 
                  exit = 2;
                  break;
              case 12 : 
                  exit = 3;
                  break;
              case 13 : 
                  exit = 4;
                  break;
              case 14 : 
                  exit = 5;
                  break;
              
            }
          }
          break;
      case 6 : 
          if (typeof ty2 === "number") {
            exit = 8;
          }
          else {
            switch (ty2.tag | 0) {
              case 6 : 
                  return /* Float_ty */{
                          0: trans(ty1[0], ty2[0]),
                          length: 1,
                          tag: 6
                        };
              case 8 : 
                  exit = 6;
                  break;
              case 9 : 
                  exit = 7;
                  break;
              case 10 : 
                  exit = 1;
                  break;
              case 11 : 
                  exit = 2;
                  break;
              case 12 : 
                  exit = 3;
                  break;
              case 13 : 
                  exit = 4;
                  break;
              case 14 : 
                  exit = 5;
                  break;
              
            }
          }
          break;
      case 7 : 
          if (typeof ty2 === "number") {
            exit = 8;
          }
          else {
            switch (ty2.tag | 0) {
              case 7 : 
                  return /* Bool_ty */{
                          0: trans(ty1[0], ty2[0]),
                          length: 1,
                          tag: 7
                        };
              case 8 : 
                  exit = 6;
                  break;
              case 9 : 
                  exit = 7;
                  break;
              case 10 : 
                  exit = 1;
                  break;
              case 11 : 
                  exit = 2;
                  break;
              case 12 : 
                  exit = 3;
                  break;
              case 13 : 
                  exit = 4;
                  break;
              case 14 : 
                  exit = 5;
                  break;
              
            }
          }
          break;
      case 8 : 
          if (typeof ty2 === "number") {
            throw [
                  Caml_builtin_exceptions.assert_failure,
                  [
                    "camlinternalFormat.ml",
                    802,
                    26
                  ]
                ];
          }
          else {
            switch (ty2.tag | 0) {
              case 8 : 
                  return /* Format_arg_ty */{
                          0: trans(ty1[0], ty2[0]),
                          1: trans(ty1[1], ty2[1]),
                          length: 2,
                          tag: 8
                        };
              case 10 : 
                  exit = 1;
                  break;
              case 11 : 
                  exit = 2;
                  break;
              case 12 : 
                  exit = 3;
                  break;
              case 13 : 
                  exit = 4;
                  break;
              case 14 : 
                  exit = 5;
                  break;
              default:
                throw [
                      Caml_builtin_exceptions.assert_failure,
                      [
                        "camlinternalFormat.ml",
                        802,
                        26
                      ]
                    ];
            }
          }
          break;
      case 9 : 
          if (typeof ty2 === "number") {
            throw [
                  Caml_builtin_exceptions.assert_failure,
                  [
                    "camlinternalFormat.ml",
                    812,
                    28
                  ]
                ];
          }
          else {
            switch (ty2.tag | 0) {
              case 8 : 
                  exit = 6;
                  break;
              case 9 : 
                  var ty = trans(symm(ty1[1]), ty2[0]);
                  var match = fmtty_rel_det(ty);
                  Caml_curry.app1(match[1], /* Refl */0);
                  Caml_curry.app1(match[3], /* Refl */0);
                  return /* Format_subst_ty */{
                          0: ty1[0],
                          1: ty2[1],
                          2: trans(ty1[2], ty2[2]),
                          length: 3,
                          tag: 9
                        };
              case 10 : 
                  exit = 1;
                  break;
              case 11 : 
                  exit = 2;
                  break;
              case 12 : 
                  exit = 3;
                  break;
              case 13 : 
                  exit = 4;
                  break;
              case 14 : 
                  exit = 5;
                  break;
              default:
                throw [
                      Caml_builtin_exceptions.assert_failure,
                      [
                        "camlinternalFormat.ml",
                        812,
                        28
                      ]
                    ];
            }
          }
          break;
      case 10 : 
          if (typeof ty2 === "number") {
            throw [
                  Caml_builtin_exceptions.assert_failure,
                  [
                    "camlinternalFormat.ml",
                    780,
                    21
                  ]
                ];
          }
          else if (ty2.tag === 10) {
            return /* Alpha_ty */{
                    0: trans(ty1[0], ty2[0]),
                    length: 1,
                    tag: 10
                  };
          }
          else {
            throw [
                  Caml_builtin_exceptions.assert_failure,
                  [
                    "camlinternalFormat.ml",
                    780,
                    21
                  ]
                ];
          }
          break;
      case 11 : 
          if (typeof ty2 === "number") {
            throw [
                  Caml_builtin_exceptions.assert_failure,
                  [
                    "camlinternalFormat.ml",
                    784,
                    21
                  ]
                ];
          }
          else {
            switch (ty2.tag | 0) {
              case 10 : 
                  exit = 1;
                  break;
              case 11 : 
                  return /* Theta_ty */{
                          0: trans(ty1[0], ty2[0]),
                          length: 1,
                          tag: 11
                        };
              default:
                throw [
                      Caml_builtin_exceptions.assert_failure,
                      [
                        "camlinternalFormat.ml",
                        784,
                        21
                      ]
                    ];
            }
          }
          break;
      case 12 : 
          if (typeof ty2 === "number") {
            throw [
                  Caml_builtin_exceptions.assert_failure,
                  [
                    "camlinternalFormat.ml",
                    788,
                    19
                  ]
                ];
          }
          else {
            switch (ty2.tag | 0) {
              case 10 : 
                  exit = 1;
                  break;
              case 11 : 
                  exit = 2;
                  break;
              case 12 : 
                  return /* Any_ty */{
                          0: trans(ty1[0], ty2[0]),
                          length: 1,
                          tag: 12
                        };
              default:
                throw [
                      Caml_builtin_exceptions.assert_failure,
                      [
                        "camlinternalFormat.ml",
                        788,
                        19
                      ]
                    ];
            }
          }
          break;
      case 13 : 
          if (typeof ty2 === "number") {
            throw [
                  Caml_builtin_exceptions.assert_failure,
                  [
                    "camlinternalFormat.ml",
                    792,
                    22
                  ]
                ];
          }
          else {
            switch (ty2.tag | 0) {
              case 10 : 
                  exit = 1;
                  break;
              case 11 : 
                  exit = 2;
                  break;
              case 12 : 
                  exit = 3;
                  break;
              case 13 : 
                  return /* Reader_ty */{
                          0: trans(ty1[0], ty2[0]),
                          length: 1,
                          tag: 13
                        };
              default:
                throw [
                      Caml_builtin_exceptions.assert_failure,
                      [
                        "camlinternalFormat.ml",
                        792,
                        22
                      ]
                    ];
            }
          }
          break;
      case 14 : 
          if (typeof ty2 === "number") {
            throw [
                  Caml_builtin_exceptions.assert_failure,
                  [
                    "camlinternalFormat.ml",
                    797,
                    30
                  ]
                ];
          }
          else {
            switch (ty2.tag | 0) {
              case 10 : 
                  exit = 1;
                  break;
              case 11 : 
                  exit = 2;
                  break;
              case 12 : 
                  exit = 3;
                  break;
              case 13 : 
                  exit = 4;
                  break;
              case 14 : 
                  return /* Ignored_reader_ty */{
                          0: trans(ty1[0], ty2[0]),
                          length: 1,
                          tag: 14
                        };
              default:
                throw [
                      Caml_builtin_exceptions.assert_failure,
                      [
                        "camlinternalFormat.ml",
                        797,
                        30
                      ]
                    ];
            }
          }
          break;
      
    }
  }
  switch (exit) {
    case 1 : 
        throw [
              Caml_builtin_exceptions.assert_failure,
              [
                "camlinternalFormat.ml",
                781,
                21
              ]
            ];
    case 2 : 
        throw [
              Caml_builtin_exceptions.assert_failure,
              [
                "camlinternalFormat.ml",
                785,
                21
              ]
            ];
    case 3 : 
        throw [
              Caml_builtin_exceptions.assert_failure,
              [
                "camlinternalFormat.ml",
                789,
                19
              ]
            ];
    case 4 : 
        throw [
              Caml_builtin_exceptions.assert_failure,
              [
                "camlinternalFormat.ml",
                793,
                22
              ]
            ];
    case 5 : 
        throw [
              Caml_builtin_exceptions.assert_failure,
              [
                "camlinternalFormat.ml",
                798,
                30
              ]
            ];
    case 6 : 
        throw [
              Caml_builtin_exceptions.assert_failure,
              [
                "camlinternalFormat.ml",
                803,
                26
              ]
            ];
    case 7 : 
        throw [
              Caml_builtin_exceptions.assert_failure,
              [
                "camlinternalFormat.ml",
                813,
                28
              ]
            ];
    case 8 : 
        throw [
              Caml_builtin_exceptions.assert_failure,
              [
                "camlinternalFormat.ml",
                817,
                23
              ]
            ];
    
  }
}

function fmtty_of_formatting_gen(formatting_gen) {
  return fmtty_of_fmt(formatting_gen[0][0]);
}

function fmtty_of_fmt(_fmtty) {
  while(true) {
    var fmtty = _fmtty;
    if (typeof fmtty === "number") {
      return /* End_of_fmtty */0;
    }
    else {
      switch (fmtty.tag | 0) {
        case 2 : 
        case 3 : 
            return fmtty_of_padding_fmtty(fmtty[0], /* String_ty */{
                        0: fmtty_of_fmt(fmtty[1]),
                        length: 1,
                        tag: 1
                      });
        case 4 : 
            var ty_rest = fmtty_of_fmt(fmtty[3]);
            var prec_ty = fmtty_of_precision_fmtty(fmtty[2], /* Int_ty */{
                  0: ty_rest,
                  length: 1,
                  tag: 2
                });
            return fmtty_of_padding_fmtty(fmtty[1], prec_ty);
        case 5 : 
            var ty_rest$1 = fmtty_of_fmt(fmtty[3]);
            var prec_ty$1 = fmtty_of_precision_fmtty(fmtty[2], /* Int32_ty */{
                  0: ty_rest$1,
                  length: 1,
                  tag: 3
                });
            return fmtty_of_padding_fmtty(fmtty[1], prec_ty$1);
        case 6 : 
            var ty_rest$2 = fmtty_of_fmt(fmtty[3]);
            var prec_ty$2 = fmtty_of_precision_fmtty(fmtty[2], /* Nativeint_ty */{
                  0: ty_rest$2,
                  length: 1,
                  tag: 4
                });
            return fmtty_of_padding_fmtty(fmtty[1], prec_ty$2);
        case 7 : 
            var ty_rest$3 = fmtty_of_fmt(fmtty[3]);
            var prec_ty$3 = fmtty_of_precision_fmtty(fmtty[2], /* Int64_ty */{
                  0: ty_rest$3,
                  length: 1,
                  tag: 5
                });
            return fmtty_of_padding_fmtty(fmtty[1], prec_ty$3);
        case 8 : 
            var ty_rest$4 = fmtty_of_fmt(fmtty[3]);
            var prec_ty$4 = fmtty_of_precision_fmtty(fmtty[2], /* Float_ty */{
                  0: ty_rest$4,
                  length: 1,
                  tag: 6
                });
            return fmtty_of_padding_fmtty(fmtty[1], prec_ty$4);
        case 9 : 
            return /* Bool_ty */{
                    0: fmtty_of_fmt(fmtty[0]),
                    length: 1,
                    tag: 7
                  };
        case 10 : 
            _fmtty = fmtty[0];
            continue ;
            case 13 : 
            return /* Format_arg_ty */{
                    0: fmtty[1],
                    1: fmtty_of_fmt(fmtty[2]),
                    length: 2,
                    tag: 8
                  };
        case 14 : 
            var ty = fmtty[1];
            return /* Format_subst_ty */{
                    0: ty,
                    1: ty,
                    2: fmtty_of_fmt(fmtty[2]),
                    length: 3,
                    tag: 9
                  };
        case 15 : 
            return /* Alpha_ty */{
                    0: fmtty_of_fmt(fmtty[0]),
                    length: 1,
                    tag: 10
                  };
        case 16 : 
            return /* Theta_ty */{
                    0: fmtty_of_fmt(fmtty[0]),
                    length: 1,
                    tag: 11
                  };
        case 11 : 
        case 12 : 
        case 17 : 
            _fmtty = fmtty[1];
            continue ;
            case 18 : 
            return CamlinternalFormatBasics.concat_fmtty(fmtty_of_formatting_gen(fmtty[0]), fmtty_of_fmt(fmtty[1]));
        case 19 : 
            return /* Reader_ty */{
                    0: fmtty_of_fmt(fmtty[0]),
                    length: 1,
                    tag: 13
                  };
        case 20 : 
            return /* String_ty */{
                    0: fmtty_of_fmt(fmtty[2]),
                    length: 1,
                    tag: 1
                  };
        case 21 : 
            return /* Int_ty */{
                    0: fmtty_of_fmt(fmtty[1]),
                    length: 1,
                    tag: 2
                  };
        case 0 : 
        case 1 : 
        case 22 : 
            return /* Char_ty */{
                    0: fmtty_of_fmt(fmtty[0]),
                    length: 1,
                    tag: 0
                  };
        case 23 : 
            var ign = fmtty[0];
            var fmt = fmtty[1];
            if (typeof ign === "number") {
              switch (ign) {
                case 3 : 
                    return /* Ignored_reader_ty */{
                            0: fmtty_of_fmt(fmt),
                            length: 1,
                            tag: 14
                          };
                case 0 : 
                case 1 : 
                case 2 : 
                case 4 : 
                    return fmtty_of_fmt(fmt);
                
              }
            }
            else {
              switch (ign.tag | 0) {
                case 8 : 
                    return CamlinternalFormatBasics.concat_fmtty(ign[1], fmtty_of_fmt(fmt));
                case 0 : 
                case 1 : 
                case 2 : 
                case 3 : 
                case 4 : 
                case 5 : 
                case 6 : 
                case 7 : 
                case 9 : 
                case 10 : 
                    return fmtty_of_fmt(fmt);
                
              }
            }
        case 24 : 
            return fmtty_of_custom(fmtty[0], fmtty_of_fmt(fmtty[2]));
        
      }
    }
  };
}

function fmtty_of_custom(arity, fmtty) {
  if (arity) {
    return /* Any_ty */{
            0: fmtty_of_custom(arity[0], fmtty),
            length: 1,
            tag: 12
          };
  }
  else {
    return fmtty;
  }
}

function fmtty_of_padding_fmtty(pad, fmtty) {
  if (typeof pad === "number" || !pad.tag) {
    return fmtty;
  }
  else {
    return /* Int_ty */{
            0: fmtty,
            length: 1,
            tag: 2
          };
  }
}

function fmtty_of_precision_fmtty(prec, fmtty) {
  if (typeof prec === "number" && prec !== 0) {
    return /* Int_ty */{
            0: fmtty,
            length: 1,
            tag: 2
          };
  }
  else {
    return fmtty;
  }
}

var Type_mismatch = {
  0: "CamlinternalFormat.Type_mismatch",
  1: Caml_builtin_exceptions.get_id(),
  length: 2,
  tag: 248
};

function type_padding(pad, fmtty) {
  if (typeof pad === "number") {
    return /* Padding_fmtty_EBB */{
            0: /* No_padding */0,
            1: fmtty,
            length: 2,
            tag: 0
          };
  }
  else if (pad.tag) {
    if (typeof fmtty === "number") {
      throw Type_mismatch;
    }
    else if (fmtty.tag === 2) {
      return /* Padding_fmtty_EBB */{
              0: /* Arg_padding */{
                0: pad[0],
                length: 1,
                tag: 1
              },
              1: fmtty[0],
              length: 2,
              tag: 0
            };
    }
    else {
      throw Type_mismatch;
    }
  }
  else {
    return /* Padding_fmtty_EBB */{
            0: /* Lit_padding */{
              0: pad[0],
              1: pad[1],
              length: 2,
              tag: 0
            },
            1: fmtty,
            length: 2,
            tag: 0
          };
  }
}

function type_padprec(pad, prec, fmtty) {
  var match = type_padding(pad, fmtty);
  if (typeof prec === "number") {
    if (prec !== 0) {
      var match$1 = match[1];
      if (typeof match$1 === "number") {
        throw Type_mismatch;
      }
      else if (match$1.tag === 2) {
        return /* Padprec_fmtty_EBB */{
                0: match[0],
                1: /* Arg_precision */1,
                2: match$1[0],
                length: 3,
                tag: 0
              };
      }
      else {
        throw Type_mismatch;
      }
    }
    else {
      return /* Padprec_fmtty_EBB */{
              0: match[0],
              1: /* No_precision */0,
              2: match[1],
              length: 3,
              tag: 0
            };
    }
  }
  else {
    return /* Padprec_fmtty_EBB */{
            0: match[0],
            1: /* Lit_precision */{
              0: prec[0],
              length: 1,
              tag: 0
            },
            2: match[1],
            length: 3,
            tag: 0
          };
  }
}

function type_format(fmt, fmtty) {
  var match = type_format_gen(fmt, fmtty);
  if (typeof match[1] === "number") {
    return match[0];
  }
  else {
    throw Type_mismatch;
  }
}

function type_format_gen(fmt, fmtty) {
  if (typeof fmt === "number") {
    return /* Fmt_fmtty_EBB */{
            0: /* End_of_format */0,
            1: fmtty,
            length: 2,
            tag: 0
          };
  }
  else {
    switch (fmt.tag | 0) {
      case 0 : 
          if (typeof fmtty === "number") {
            throw Type_mismatch;
          }
          else if (fmtty.tag) {
            throw Type_mismatch;
          }
          else {
            var match = type_format_gen(fmt[0], fmtty[0]);
            return /* Fmt_fmtty_EBB */{
                    0: /* Char */{
                      0: match[0],
                      length: 1,
                      tag: 0
                    },
                    1: match[1],
                    length: 2,
                    tag: 0
                  };
          }
          break;
      case 1 : 
          if (typeof fmtty === "number") {
            throw Type_mismatch;
          }
          else if (fmtty.tag) {
            throw Type_mismatch;
          }
          else {
            var match$1 = type_format_gen(fmt[0], fmtty[0]);
            return /* Fmt_fmtty_EBB */{
                    0: /* Caml_char */{
                      0: match$1[0],
                      length: 1,
                      tag: 1
                    },
                    1: match$1[1],
                    length: 2,
                    tag: 0
                  };
          }
          break;
      case 2 : 
          var match$2 = type_padding(fmt[0], fmtty);
          var match$3 = match$2[1];
          if (typeof match$3 === "number") {
            throw Type_mismatch;
          }
          else if (match$3.tag === 1) {
            var match$4 = type_format_gen(fmt[1], match$3[0]);
            return /* Fmt_fmtty_EBB */{
                    0: /* String */{
                      0: match$2[0],
                      1: match$4[0],
                      length: 2,
                      tag: 2
                    },
                    1: match$4[1],
                    length: 2,
                    tag: 0
                  };
          }
          else {
            throw Type_mismatch;
          }
          break;
      case 3 : 
          var match$5 = type_padding(fmt[0], fmtty);
          var match$6 = match$5[1];
          if (typeof match$6 === "number") {
            throw Type_mismatch;
          }
          else if (match$6.tag === 1) {
            var match$7 = type_format_gen(fmt[1], match$6[0]);
            return /* Fmt_fmtty_EBB */{
                    0: /* Caml_string */{
                      0: match$5[0],
                      1: match$7[0],
                      length: 2,
                      tag: 3
                    },
                    1: match$7[1],
                    length: 2,
                    tag: 0
                  };
          }
          else {
            throw Type_mismatch;
          }
          break;
      case 4 : 
          var match$8 = type_padprec(fmt[1], fmt[2], fmtty);
          var match$9 = match$8[2];
          if (typeof match$9 === "number") {
            throw Type_mismatch;
          }
          else if (match$9.tag === 2) {
            var match$10 = type_format_gen(fmt[3], match$9[0]);
            return /* Fmt_fmtty_EBB */{
                    0: /* Int */{
                      0: fmt[0],
                      1: match$8[0],
                      2: match$8[1],
                      3: match$10[0],
                      length: 4,
                      tag: 4
                    },
                    1: match$10[1],
                    length: 2,
                    tag: 0
                  };
          }
          else {
            throw Type_mismatch;
          }
          break;
      case 5 : 
          var match$11 = type_padprec(fmt[1], fmt[2], fmtty);
          var match$12 = match$11[2];
          if (typeof match$12 === "number") {
            throw Type_mismatch;
          }
          else if (match$12.tag === 3) {
            var match$13 = type_format_gen(fmt[3], match$12[0]);
            return /* Fmt_fmtty_EBB */{
                    0: /* Int32 */{
                      0: fmt[0],
                      1: match$11[0],
                      2: match$11[1],
                      3: match$13[0],
                      length: 4,
                      tag: 5
                    },
                    1: match$13[1],
                    length: 2,
                    tag: 0
                  };
          }
          else {
            throw Type_mismatch;
          }
          break;
      case 6 : 
          var match$14 = type_padprec(fmt[1], fmt[2], fmtty);
          var match$15 = match$14[2];
          if (typeof match$15 === "number") {
            throw Type_mismatch;
          }
          else if (match$15.tag === 4) {
            var match$16 = type_format_gen(fmt[3], match$15[0]);
            return /* Fmt_fmtty_EBB */{
                    0: /* Nativeint */{
                      0: fmt[0],
                      1: match$14[0],
                      2: match$14[1],
                      3: match$16[0],
                      length: 4,
                      tag: 6
                    },
                    1: match$16[1],
                    length: 2,
                    tag: 0
                  };
          }
          else {
            throw Type_mismatch;
          }
          break;
      case 7 : 
          var match$17 = type_padprec(fmt[1], fmt[2], fmtty);
          var match$18 = match$17[2];
          if (typeof match$18 === "number") {
            throw Type_mismatch;
          }
          else if (match$18.tag === 5) {
            var match$19 = type_format_gen(fmt[3], match$18[0]);
            return /* Fmt_fmtty_EBB */{
                    0: /* Int64 */{
                      0: fmt[0],
                      1: match$17[0],
                      2: match$17[1],
                      3: match$19[0],
                      length: 4,
                      tag: 7
                    },
                    1: match$19[1],
                    length: 2,
                    tag: 0
                  };
          }
          else {
            throw Type_mismatch;
          }
          break;
      case 8 : 
          var match$20 = type_padprec(fmt[1], fmt[2], fmtty);
          var match$21 = match$20[2];
          if (typeof match$21 === "number") {
            throw Type_mismatch;
          }
          else if (match$21.tag === 6) {
            var match$22 = type_format_gen(fmt[3], match$21[0]);
            return /* Fmt_fmtty_EBB */{
                    0: /* Float */{
                      0: fmt[0],
                      1: match$20[0],
                      2: match$20[1],
                      3: match$22[0],
                      length: 4,
                      tag: 8
                    },
                    1: match$22[1],
                    length: 2,
                    tag: 0
                  };
          }
          else {
            throw Type_mismatch;
          }
          break;
      case 9 : 
          if (typeof fmtty === "number") {
            throw Type_mismatch;
          }
          else if (fmtty.tag === 7) {
            var match$23 = type_format_gen(fmt[0], fmtty[0]);
            return /* Fmt_fmtty_EBB */{
                    0: /* Bool */{
                      0: match$23[0],
                      length: 1,
                      tag: 9
                    },
                    1: match$23[1],
                    length: 2,
                    tag: 0
                  };
          }
          else {
            throw Type_mismatch;
          }
          break;
      case 10 : 
          var match$24 = type_format_gen(fmt[0], fmtty);
          return /* Fmt_fmtty_EBB */{
                  0: /* Flush */{
                    0: match$24[0],
                    length: 1,
                    tag: 10
                  },
                  1: match$24[1],
                  length: 2,
                  tag: 0
                };
      case 11 : 
          var match$25 = type_format_gen(fmt[1], fmtty);
          return /* Fmt_fmtty_EBB */{
                  0: /* String_literal */{
                    0: fmt[0],
                    1: match$25[0],
                    length: 2,
                    tag: 11
                  },
                  1: match$25[1],
                  length: 2,
                  tag: 0
                };
      case 12 : 
          var match$26 = type_format_gen(fmt[1], fmtty);
          return /* Fmt_fmtty_EBB */{
                  0: /* Char_literal */{
                    0: fmt[0],
                    1: match$26[0],
                    length: 2,
                    tag: 12
                  },
                  1: match$26[1],
                  length: 2,
                  tag: 0
                };
      case 13 : 
          if (typeof fmtty === "number") {
            throw Type_mismatch;
          }
          else if (fmtty.tag === 8) {
            var sub_fmtty$prime = fmtty[0];
            if (Caml_obj.caml_notequal(/* Fmtty_EBB */{
                    0: fmt[1],
                    length: 1,
                    tag: 0
                  }, /* Fmtty_EBB */{
                    0: sub_fmtty$prime,
                    length: 1,
                    tag: 0
                  })) {
              throw Type_mismatch;
            }
            var match$27 = type_format_gen(fmt[2], fmtty[1]);
            return /* Fmt_fmtty_EBB */{
                    0: /* Format_arg */{
                      0: fmt[0],
                      1: sub_fmtty$prime,
                      2: match$27[0],
                      length: 3,
                      tag: 13
                    },
                    1: match$27[1],
                    length: 2,
                    tag: 0
                  };
          }
          else {
            throw Type_mismatch;
          }
          break;
      case 14 : 
          if (typeof fmtty === "number") {
            throw Type_mismatch;
          }
          else if (fmtty.tag === 9) {
            var sub_fmtty1 = fmtty[0];
            if (Caml_obj.caml_notequal(/* Fmtty_EBB */{
                    0: CamlinternalFormatBasics.erase_rel(fmt[1]),
                    length: 1,
                    tag: 0
                  }, /* Fmtty_EBB */{
                    0: CamlinternalFormatBasics.erase_rel(sub_fmtty1),
                    length: 1,
                    tag: 0
                  })) {
              throw Type_mismatch;
            }
            var match$28 = type_format_gen(fmt[2], CamlinternalFormatBasics.erase_rel(fmtty[2]));
            return /* Fmt_fmtty_EBB */{
                    0: /* Format_subst */{
                      0: fmt[0],
                      1: sub_fmtty1,
                      2: match$28[0],
                      length: 3,
                      tag: 14
                    },
                    1: match$28[1],
                    length: 2,
                    tag: 0
                  };
          }
          else {
            throw Type_mismatch;
          }
          break;
      case 15 : 
          if (typeof fmtty === "number") {
            throw Type_mismatch;
          }
          else if (fmtty.tag === 10) {
            var match$29 = type_format_gen(fmt[0], fmtty[0]);
            return /* Fmt_fmtty_EBB */{
                    0: /* Alpha */{
                      0: match$29[0],
                      length: 1,
                      tag: 15
                    },
                    1: match$29[1],
                    length: 2,
                    tag: 0
                  };
          }
          else {
            throw Type_mismatch;
          }
          break;
      case 16 : 
          if (typeof fmtty === "number") {
            throw Type_mismatch;
          }
          else if (fmtty.tag === 11) {
            var match$30 = type_format_gen(fmt[0], fmtty[0]);
            return /* Fmt_fmtty_EBB */{
                    0: /* Theta */{
                      0: match$30[0],
                      length: 1,
                      tag: 16
                    },
                    1: match$30[1],
                    length: 2,
                    tag: 0
                  };
          }
          else {
            throw Type_mismatch;
          }
          break;
      case 17 : 
          var match$31 = type_format_gen(fmt[1], fmtty);
          return /* Fmt_fmtty_EBB */{
                  0: /* Formatting_lit */{
                    0: fmt[0],
                    1: match$31[0],
                    length: 2,
                    tag: 17
                  },
                  1: match$31[1],
                  length: 2,
                  tag: 0
                };
      case 18 : 
          var formatting_gen = fmt[0];
          var fmt0 = fmt[1];
          var fmtty0 = fmtty;
          if (formatting_gen.tag) {
            var match$32 = formatting_gen[0];
            var match$33 = type_format_gen(match$32[0], fmtty0);
            var match$34 = type_format_gen(fmt0, match$33[1]);
            return /* Fmt_fmtty_EBB */{
                    0: /* Formatting_gen */{
                      0: /* Open_box */{
                        0: /* Format */{
                          0: match$33[0],
                          1: match$32[1],
                          length: 2,
                          tag: 0
                        },
                        length: 1,
                        tag: 1
                      },
                      1: match$34[0],
                      length: 2,
                      tag: 18
                    },
                    1: match$34[1],
                    length: 2,
                    tag: 0
                  };
          }
          else {
            var match$35 = formatting_gen[0];
            var match$36 = type_format_gen(match$35[0], fmtty0);
            var match$37 = type_format_gen(fmt0, match$36[1]);
            return /* Fmt_fmtty_EBB */{
                    0: /* Formatting_gen */{
                      0: /* Open_tag */{
                        0: /* Format */{
                          0: match$36[0],
                          1: match$35[1],
                          length: 2,
                          tag: 0
                        },
                        length: 1,
                        tag: 0
                      },
                      1: match$37[0],
                      length: 2,
                      tag: 18
                    },
                    1: match$37[1],
                    length: 2,
                    tag: 0
                  };
          }
      case 19 : 
          if (typeof fmtty === "number") {
            throw Type_mismatch;
          }
          else if (fmtty.tag === 13) {
            var match$38 = type_format_gen(fmt[0], fmtty[0]);
            return /* Fmt_fmtty_EBB */{
                    0: /* Reader */{
                      0: match$38[0],
                      length: 1,
                      tag: 19
                    },
                    1: match$38[1],
                    length: 2,
                    tag: 0
                  };
          }
          else {
            throw Type_mismatch;
          }
          break;
      case 20 : 
          if (typeof fmtty === "number") {
            throw Type_mismatch;
          }
          else if (fmtty.tag === 1) {
            var match$39 = type_format_gen(fmt[2], fmtty[0]);
            return /* Fmt_fmtty_EBB */{
                    0: /* Scan_char_set */{
                      0: fmt[0],
                      1: fmt[1],
                      2: match$39[0],
                      length: 3,
                      tag: 20
                    },
                    1: match$39[1],
                    length: 2,
                    tag: 0
                  };
          }
          else {
            throw Type_mismatch;
          }
          break;
      case 21 : 
          if (typeof fmtty === "number") {
            throw Type_mismatch;
          }
          else if (fmtty.tag === 2) {
            var match$40 = type_format_gen(fmt[1], fmtty[0]);
            return /* Fmt_fmtty_EBB */{
                    0: /* Scan_get_counter */{
                      0: fmt[0],
                      1: match$40[0],
                      length: 2,
                      tag: 21
                    },
                    1: match$40[1],
                    length: 2,
                    tag: 0
                  };
          }
          else {
            throw Type_mismatch;
          }
          break;
      case 23 : 
          var ign = fmt[0];
          var fmt$1 = fmt[1];
          var fmtty$1 = fmtty;
          if (typeof ign === "number") {
            switch (ign) {
              case 3 : 
                  if (typeof fmtty$1 === "number") {
                    throw Type_mismatch;
                  }
                  else if (fmtty$1.tag === 14) {
                    var match$41 = type_format_gen(fmt$1, fmtty$1[0]);
                    return /* Fmt_fmtty_EBB */{
                            0: /* Ignored_param */{
                              0: /* Ignored_reader */3,
                              1: match$41[0],
                              length: 2,
                              tag: 23
                            },
                            1: match$41[1],
                            length: 2,
                            tag: 0
                          };
                  }
                  else {
                    throw Type_mismatch;
                  }
                  break;
              case 0 : 
              case 1 : 
              case 2 : 
              case 4 : 
                  return type_ignored_param_one(ign, fmt$1, fmtty$1);
              
            }
          }
          else {
            switch (ign.tag | 0) {
              case 7 : 
                  return type_ignored_param_one(/* Ignored_format_arg */{
                              0: ign[0],
                              1: ign[1],
                              length: 2,
                              tag: 7
                            }, fmt$1, fmtty$1);
              case 8 : 
                  var match$42 = type_ignored_format_substitution(ign[1], fmt$1, fmtty$1);
                  var match$43 = match$42[1];
                  return /* Fmt_fmtty_EBB */{
                          0: /* Ignored_param */{
                            0: /* Ignored_format_subst */{
                              0: ign[0],
                              1: match$42[0],
                              length: 2,
                              tag: 8
                            },
                            1: match$43[0],
                            length: 2,
                            tag: 23
                          },
                          1: match$43[1],
                          length: 2,
                          tag: 0
                        };
              case 0 : 
              case 1 : 
              case 2 : 
              case 3 : 
              case 4 : 
              case 5 : 
              case 6 : 
              case 9 : 
              case 10 : 
                  return type_ignored_param_one(ign, fmt$1, fmtty$1);
              
            }
          }
      case 22 : 
      case 24 : 
          throw Type_mismatch;
      
    }
  }
}

function type_ignored_param_one(ign, fmt, fmtty) {
  var match = type_format_gen(fmt, fmtty);
  return /* Fmt_fmtty_EBB */{
          0: /* Ignored_param */{
            0: ign,
            1: match[0],
            length: 2,
            tag: 23
          },
          1: match[1],
          length: 2,
          tag: 0
        };
}

function type_ignored_format_substitution(sub_fmtty, fmt, fmtty) {
  if (typeof sub_fmtty === "number") {
    return /* Fmtty_fmt_EBB */{
            0: /* End_of_fmtty */0,
            1: type_format_gen(fmt, fmtty),
            length: 2,
            tag: 0
          };
  }
  else {
    switch (sub_fmtty.tag | 0) {
      case 0 : 
          if (typeof fmtty === "number") {
            throw Type_mismatch;
          }
          else if (fmtty.tag) {
            throw Type_mismatch;
          }
          else {
            var match = type_ignored_format_substitution(sub_fmtty[0], fmt, fmtty[0]);
            return /* Fmtty_fmt_EBB */{
                    0: /* Char_ty */{
                      0: match[0],
                      length: 1,
                      tag: 0
                    },
                    1: match[1],
                    length: 2,
                    tag: 0
                  };
          }
          break;
      case 1 : 
          if (typeof fmtty === "number") {
            throw Type_mismatch;
          }
          else if (fmtty.tag === 1) {
            var match$1 = type_ignored_format_substitution(sub_fmtty[0], fmt, fmtty[0]);
            return /* Fmtty_fmt_EBB */{
                    0: /* String_ty */{
                      0: match$1[0],
                      length: 1,
                      tag: 1
                    },
                    1: match$1[1],
                    length: 2,
                    tag: 0
                  };
          }
          else {
            throw Type_mismatch;
          }
          break;
      case 2 : 
          if (typeof fmtty === "number") {
            throw Type_mismatch;
          }
          else if (fmtty.tag === 2) {
            var match$2 = type_ignored_format_substitution(sub_fmtty[0], fmt, fmtty[0]);
            return /* Fmtty_fmt_EBB */{
                    0: /* Int_ty */{
                      0: match$2[0],
                      length: 1,
                      tag: 2
                    },
                    1: match$2[1],
                    length: 2,
                    tag: 0
                  };
          }
          else {
            throw Type_mismatch;
          }
          break;
      case 3 : 
          if (typeof fmtty === "number") {
            throw Type_mismatch;
          }
          else if (fmtty.tag === 3) {
            var match$3 = type_ignored_format_substitution(sub_fmtty[0], fmt, fmtty[0]);
            return /* Fmtty_fmt_EBB */{
                    0: /* Int32_ty */{
                      0: match$3[0],
                      length: 1,
                      tag: 3
                    },
                    1: match$3[1],
                    length: 2,
                    tag: 0
                  };
          }
          else {
            throw Type_mismatch;
          }
          break;
      case 4 : 
          if (typeof fmtty === "number") {
            throw Type_mismatch;
          }
          else if (fmtty.tag === 4) {
            var match$4 = type_ignored_format_substitution(sub_fmtty[0], fmt, fmtty[0]);
            return /* Fmtty_fmt_EBB */{
                    0: /* Nativeint_ty */{
                      0: match$4[0],
                      length: 1,
                      tag: 4
                    },
                    1: match$4[1],
                    length: 2,
                    tag: 0
                  };
          }
          else {
            throw Type_mismatch;
          }
          break;
      case 5 : 
          if (typeof fmtty === "number") {
            throw Type_mismatch;
          }
          else if (fmtty.tag === 5) {
            var match$5 = type_ignored_format_substitution(sub_fmtty[0], fmt, fmtty[0]);
            return /* Fmtty_fmt_EBB */{
                    0: /* Int64_ty */{
                      0: match$5[0],
                      length: 1,
                      tag: 5
                    },
                    1: match$5[1],
                    length: 2,
                    tag: 0
                  };
          }
          else {
            throw Type_mismatch;
          }
          break;
      case 6 : 
          if (typeof fmtty === "number") {
            throw Type_mismatch;
          }
          else if (fmtty.tag === 6) {
            var match$6 = type_ignored_format_substitution(sub_fmtty[0], fmt, fmtty[0]);
            return /* Fmtty_fmt_EBB */{
                    0: /* Float_ty */{
                      0: match$6[0],
                      length: 1,
                      tag: 6
                    },
                    1: match$6[1],
                    length: 2,
                    tag: 0
                  };
          }
          else {
            throw Type_mismatch;
          }
          break;
      case 7 : 
          if (typeof fmtty === "number") {
            throw Type_mismatch;
          }
          else if (fmtty.tag === 7) {
            var match$7 = type_ignored_format_substitution(sub_fmtty[0], fmt, fmtty[0]);
            return /* Fmtty_fmt_EBB */{
                    0: /* Bool_ty */{
                      0: match$7[0],
                      length: 1,
                      tag: 7
                    },
                    1: match$7[1],
                    length: 2,
                    tag: 0
                  };
          }
          else {
            throw Type_mismatch;
          }
          break;
      case 8 : 
          if (typeof fmtty === "number") {
            throw Type_mismatch;
          }
          else if (fmtty.tag === 8) {
            var sub2_fmtty$prime = fmtty[0];
            if (Caml_obj.caml_notequal(/* Fmtty_EBB */{
                    0: sub_fmtty[0],
                    length: 1,
                    tag: 0
                  }, /* Fmtty_EBB */{
                    0: sub2_fmtty$prime,
                    length: 1,
                    tag: 0
                  })) {
              throw Type_mismatch;
            }
            var match$8 = type_ignored_format_substitution(sub_fmtty[1], fmt, fmtty[1]);
            return /* Fmtty_fmt_EBB */{
                    0: /* Format_arg_ty */{
                      0: sub2_fmtty$prime,
                      1: match$8[0],
                      length: 2,
                      tag: 8
                    },
                    1: match$8[1],
                    length: 2,
                    tag: 0
                  };
          }
          else {
            throw Type_mismatch;
          }
          break;
      case 9 : 
          if (typeof fmtty === "number") {
            throw Type_mismatch;
          }
          else if (fmtty.tag === 9) {
            var sub2_fmtty$prime$1 = fmtty[1];
            var sub1_fmtty$prime = fmtty[0];
            if (Caml_obj.caml_notequal(/* Fmtty_EBB */{
                    0: CamlinternalFormatBasics.erase_rel(sub_fmtty[0]),
                    length: 1,
                    tag: 0
                  }, /* Fmtty_EBB */{
                    0: CamlinternalFormatBasics.erase_rel(sub1_fmtty$prime),
                    length: 1,
                    tag: 0
                  })) {
              throw Type_mismatch;
            }
            if (Caml_obj.caml_notequal(/* Fmtty_EBB */{
                    0: CamlinternalFormatBasics.erase_rel(sub_fmtty[1]),
                    length: 1,
                    tag: 0
                  }, /* Fmtty_EBB */{
                    0: CamlinternalFormatBasics.erase_rel(sub2_fmtty$prime$1),
                    length: 1,
                    tag: 0
                  })) {
              throw Type_mismatch;
            }
            var sub_fmtty$prime = trans(symm(sub1_fmtty$prime), sub2_fmtty$prime$1);
            var match$9 = fmtty_rel_det(sub_fmtty$prime);
            Caml_curry.app1(match$9[1], /* Refl */0);
            Caml_curry.app1(match$9[3], /* Refl */0);
            var match$10 = type_ignored_format_substitution(CamlinternalFormatBasics.erase_rel(sub_fmtty[2]), fmt, fmtty[2]);
            return /* Fmtty_fmt_EBB */{
                    0: /* Format_subst_ty */{
                      0: sub1_fmtty$prime,
                      1: sub2_fmtty$prime$1,
                      2: symm(match$10[0]),
                      length: 3,
                      tag: 9
                    },
                    1: match$10[1],
                    length: 2,
                    tag: 0
                  };
          }
          else {
            throw Type_mismatch;
          }
          break;
      case 10 : 
          if (typeof fmtty === "number") {
            throw Type_mismatch;
          }
          else if (fmtty.tag === 10) {
            var match$11 = type_ignored_format_substitution(sub_fmtty[0], fmt, fmtty[0]);
            return /* Fmtty_fmt_EBB */{
                    0: /* Alpha_ty */{
                      0: match$11[0],
                      length: 1,
                      tag: 10
                    },
                    1: match$11[1],
                    length: 2,
                    tag: 0
                  };
          }
          else {
            throw Type_mismatch;
          }
          break;
      case 11 : 
          if (typeof fmtty === "number") {
            throw Type_mismatch;
          }
          else if (fmtty.tag === 11) {
            var match$12 = type_ignored_format_substitution(sub_fmtty[0], fmt, fmtty[0]);
            return /* Fmtty_fmt_EBB */{
                    0: /* Theta_ty */{
                      0: match$12[0],
                      length: 1,
                      tag: 11
                    },
                    1: match$12[1],
                    length: 2,
                    tag: 0
                  };
          }
          else {
            throw Type_mismatch;
          }
          break;
      case 12 : 
          throw Type_mismatch;
      case 13 : 
          if (typeof fmtty === "number") {
            throw Type_mismatch;
          }
          else if (fmtty.tag === 13) {
            var match$13 = type_ignored_format_substitution(sub_fmtty[0], fmt, fmtty[0]);
            return /* Fmtty_fmt_EBB */{
                    0: /* Reader_ty */{
                      0: match$13[0],
                      length: 1,
                      tag: 13
                    },
                    1: match$13[1],
                    length: 2,
                    tag: 0
                  };
          }
          else {
            throw Type_mismatch;
          }
          break;
      case 14 : 
          if (typeof fmtty === "number") {
            throw Type_mismatch;
          }
          else if (fmtty.tag === 14) {
            var match$14 = type_ignored_format_substitution(sub_fmtty[0], fmt, fmtty[0]);
            return /* Fmtty_fmt_EBB */{
                    0: /* Ignored_reader_ty */{
                      0: match$14[0],
                      length: 1,
                      tag: 14
                    },
                    1: match$14[1],
                    length: 2,
                    tag: 0
                  };
          }
          else {
            throw Type_mismatch;
          }
          break;
      
    }
  }
}

function recast(fmt, fmtty) {
  return type_format(fmt, CamlinternalFormatBasics.erase_rel(symm(fmtty)));
}

function fix_padding(padty, width, str) {
  var len = str.length;
  var match_000 = Pervasives.abs(width);
  var match_001 = width < 0 ? /* Left */0 : padty;
  var padty$1 = match_001;
  var width$1 = match_000;
  if (width$1 <= len) {
    return str;
  }
  else {
    var res = Bytes.make(width$1, padty$1 === /* Zeros */2 ? /* "0" */48 : /* " " */32);
    switch (padty$1) {
      case 0 : 
          $$String.blit(str, 0, res, 0, len);
          break;
      case 1 : 
          $$String.blit(str, 0, res, width$1 - len, len);
          break;
      case 2 : 
          if (len > 0 && (str[0] === "+" || str[0] === "-" || str[0] === " ")) {
            res[0] = str.charCodeAt(0);
            $$String.blit(str, 1, res, width$1 - len + 1, len - 1);
          }
          else if (len > 1 && str[0] === "0" && (str[1] === "x" || str[1] === "X")) {
            res[1] = str.charCodeAt(1);
            $$String.blit(str, 2, res, width$1 - len + 2, len - 2);
          }
          else {
            $$String.blit(str, 0, res, width$1 - len, len);
          }
          break;
      
    }
    return Caml_string.bytes_to_string(res);
  }
}

function fix_int_precision(prec, str) {
  var prec$1 = Pervasives.abs(prec);
  var len = str.length;
  var c = str.charCodeAt(0);
  var exit = 0;
  if (c >= 58) {
    if (c >= 71) {
      if (c > 102 || c < 97) {
        return str;
      }
      else {
        exit = 2;
      }
    }
    else if (c >= 65) {
      exit = 2;
    }
    else {
      return str;
    }
  }
  else if (c !== 32) {
    if (c >= 43) {
      switch (c - 43) {
        case 0 : 
        case 2 : 
            exit = 1;
            break;
        case 1 : 
        case 3 : 
        case 4 : 
            return str;
        case 5 : 
            if (prec$1 + 2 > len && len > 1 && (str[1] === "x" || str[1] === "X")) {
              var res = Bytes.make(prec$1 + 2, /* "0" */48);
              res[1] = str.charCodeAt(1);
              $$String.blit(str, 2, res, prec$1 - len + 4, len - 2);
              return Caml_string.bytes_to_string(res);
            }
            else {
              exit = 2;
            }
            break;
        case 6 : 
        case 7 : 
        case 8 : 
        case 9 : 
        case 10 : 
        case 11 : 
        case 12 : 
        case 13 : 
        case 14 : 
            exit = 2;
            break;
        
      }
    }
    else {
      return str;
    }
  }
  else {
    exit = 1;
  }
  switch (exit) {
    case 1 : 
        if (prec$1 + 1 > len) {
          var res$1 = Bytes.make(prec$1 + 1, /* "0" */48);
          res$1[0] = c;
          $$String.blit(str, 1, res$1, prec$1 - len + 2, len - 1);
          return Caml_string.bytes_to_string(res$1);
        }
        else {
          return str;
        }
        break;
    case 2 : 
        if (prec$1 > len) {
          var res$2 = Bytes.make(prec$1, /* "0" */48);
          $$String.blit(str, 0, res$2, prec$1 - len, len);
          return Caml_string.bytes_to_string(res$2);
        }
        else {
          return str;
        }
        break;
    
  }
}

function string_to_caml_string(str) {
  return $$String.concat($$String.escaped(str), /* :: */[
              '"',
              /* :: */[
                '"',
                /* [] */0
              ]
            ]);
}

function format_of_iconv(iconv) {
  switch (iconv) {
    case 0 : 
        return "%d";
    case 1 : 
        return "%+d";
    case 2 : 
        return "% d";
    case 3 : 
        return "%i";
    case 4 : 
        return "%+i";
    case 5 : 
        return "% i";
    case 6 : 
        return "%x";
    case 7 : 
        return "%#x";
    case 8 : 
        return "%X";
    case 9 : 
        return "%#X";
    case 10 : 
        return "%o";
    case 11 : 
        return "%#o";
    case 12 : 
        return "%u";
    
  }
}

function format_of_aconv(iconv, c) {
  var seps;
  switch (iconv) {
    case 0 : 
        seps = /* :: */[
          "%",
          /* :: */[
            "d",
            /* [] */0
          ]
        ];
        break;
    case 1 : 
        seps = /* :: */[
          "%+",
          /* :: */[
            "d",
            /* [] */0
          ]
        ];
        break;
    case 2 : 
        seps = /* :: */[
          "% ",
          /* :: */[
            "d",
            /* [] */0
          ]
        ];
        break;
    case 3 : 
        seps = /* :: */[
          "%",
          /* :: */[
            "i",
            /* [] */0
          ]
        ];
        break;
    case 4 : 
        seps = /* :: */[
          "%+",
          /* :: */[
            "i",
            /* [] */0
          ]
        ];
        break;
    case 5 : 
        seps = /* :: */[
          "% ",
          /* :: */[
            "i",
            /* [] */0
          ]
        ];
        break;
    case 6 : 
        seps = /* :: */[
          "%",
          /* :: */[
            "x",
            /* [] */0
          ]
        ];
        break;
    case 7 : 
        seps = /* :: */[
          "%#",
          /* :: */[
            "x",
            /* [] */0
          ]
        ];
        break;
    case 8 : 
        seps = /* :: */[
          "%",
          /* :: */[
            "X",
            /* [] */0
          ]
        ];
        break;
    case 9 : 
        seps = /* :: */[
          "%#",
          /* :: */[
            "X",
            /* [] */0
          ]
        ];
        break;
    case 10 : 
        seps = /* :: */[
          "%",
          /* :: */[
            "o",
            /* [] */0
          ]
        ];
        break;
    case 11 : 
        seps = /* :: */[
          "%#",
          /* :: */[
            "o",
            /* [] */0
          ]
        ];
        break;
    case 12 : 
        seps = /* :: */[
          "%",
          /* :: */[
            "u",
            /* [] */0
          ]
        ];
        break;
    
  }
  return $$String.concat(Caml_string.bytes_to_string(Bytes.make(1, c)), seps);
}

function format_of_fconv(fconv, prec) {
  if (fconv === /* Float_F */15) {
    return "%.12g";
  }
  else {
    var prec$1 = Pervasives.abs(prec);
    var symb = char_of_fconv(fconv);
    var buf = /* record */[
      0,
      new Array(16)
    ];
    buffer_add_char(buf, /* "%" */37);
    bprint_fconv_flag(buf, fconv);
    buffer_add_char(buf, /* "." */46);
    buffer_add_string(buf, "" + prec$1);
    buffer_add_char(buf, symb);
    return buffer_contents(buf);
  }
}

function convert_int(iconv, n) {
  return Caml_format.caml_format_int(format_of_iconv(iconv), n);
}

function convert_int32(iconv, n) {
  return Caml_format.caml_int32_format(format_of_aconv(iconv, /* "l" */108), n);
}

function convert_nativeint(iconv, n) {
  return Caml_format.caml_nativeint_format(format_of_aconv(iconv, /* "n" */110), n);
}

function convert_int64(iconv, n) {
  return Caml_format.caml_int64_format(format_of_aconv(iconv, /* "L" */76), n);
}

function convert_float(fconv, prec, x) {
  var prec$1 = Pervasives.abs(prec);
  var str = Caml_format.caml_format_float(format_of_fconv(fconv, prec$1), x);
  if (fconv !== /* Float_F */15) {
    return str;
  }
  else {
    var len = str.length;
    var is_valid = function (_i) {
      while(true) {
        var i = _i;
        if (i === len) {
          return /* false */0;
        }
        else {
          var match = str.charCodeAt(i);
          var switcher = match - 46;
          if (switcher > 23 || switcher < 0) {
            if (switcher !== 55) {
              _i = i + 1;
              continue ;
              
            }
            else {
              return /* true */1;
            }
          }
          else if (switcher > 22 || switcher < 1) {
            return /* true */1;
          }
          else {
            _i = i + 1;
            continue ;
            
          }
        }
      };
    };
    var match = Caml_float.caml_classify_float(x);
    if (match !== 3) {
      if (match >= 4) {
        return "nan";
      }
      else if (is_valid(0)) {
        return str;
      }
      else {
        return str + ".";
      }
    }
    else if (x < 0.0) {
      return "neg_infinity";
    }
    else {
      return "infinity";
    }
  }
}

function format_caml_char(c) {
  return $$String.concat(Char.escaped(c), /* :: */[
              "'",
              /* :: */[
                "'",
                /* [] */0
              ]
            ]);
}

function string_of_fmtty(fmtty) {
  var buf = /* record */[
    0,
    new Array(16)
  ];
  bprint_fmtty(buf, fmtty);
  return buffer_contents(buf);
}

function make_printf(_k, o, _acc, _fmt) {
  while(true) {
    var fmt = _fmt;
    var acc = _acc;
    var k = _k;
    if (typeof fmt === "number") {
      return Caml_curry.app2(k, o, acc);
    }
    else {
      switch (fmt.tag | 0) {
        case 0 : 
            var rest = fmt[0];
            return (function(k,acc,rest){
            return function (c) {
              var new_acc = /* Acc_data_char */{
                0: acc,
                1: c,
                length: 2,
                tag: 5
              };
              return make_printf(k, o, new_acc, rest);
            }
            }(k,acc,rest));
        case 1 : 
            var rest$1 = fmt[0];
            return (function(k,acc,rest$1){
            return function (c) {
              var new_acc_001 = format_caml_char(c);
              var new_acc = /* Acc_data_string */{
                0: acc,
                1: new_acc_001,
                length: 2,
                tag: 4
              };
              return make_printf(k, o, new_acc, rest$1);
            }
            }(k,acc,rest$1));
        case 2 : 
            return make_string_padding(k, o, acc, fmt[1], fmt[0], function (str) {
                        return str;
                      });
        case 3 : 
            return make_string_padding(k, o, acc, fmt[1], fmt[0], string_to_caml_string);
        case 4 : 
            return make_int_padding_precision(k, o, acc, fmt[3], fmt[1], fmt[2], convert_int, fmt[0]);
        case 5 : 
            return make_int_padding_precision(k, o, acc, fmt[3], fmt[1], fmt[2], convert_int32, fmt[0]);
        case 6 : 
            return make_int_padding_precision(k, o, acc, fmt[3], fmt[1], fmt[2], convert_nativeint, fmt[0]);
        case 7 : 
            return make_int_padding_precision(k, o, acc, fmt[3], fmt[1], fmt[2], convert_int64, fmt[0]);
        case 8 : 
            var k$1 = k;
            var o$1 = o;
            var acc$1 = acc;
            var fmt$1 = fmt[3];
            var pad = fmt[1];
            var prec = fmt[2];
            var fconv = fmt[0];
            if (typeof pad === "number") {
              if (typeof prec === "number") {
                if (prec !== 0) {
                  return (function(k$1,o$1,acc$1,fmt$1,fconv){
                  return function (p, x) {
                    var str = convert_float(fconv, p, x);
                    return make_printf(k$1, o$1, /* Acc_data_string */{
                                0: acc$1,
                                1: str,
                                length: 2,
                                tag: 4
                              }, fmt$1);
                  }
                  }(k$1,o$1,acc$1,fmt$1,fconv));
                }
                else {
                  return (function(k$1,o$1,acc$1,fmt$1,fconv){
                  return function (x) {
                    var str = convert_float(fconv, 6, x);
                    return make_printf(k$1, o$1, /* Acc_data_string */{
                                0: acc$1,
                                1: str,
                                length: 2,
                                tag: 4
                              }, fmt$1);
                  }
                  }(k$1,o$1,acc$1,fmt$1,fconv));
                }
              }
              else {
                var p = prec[0];
                return (function(k$1,o$1,acc$1,fmt$1,fconv,p){
                return function (x) {
                  var str = convert_float(fconv, p, x);
                  return make_printf(k$1, o$1, /* Acc_data_string */{
                              0: acc$1,
                              1: str,
                              length: 2,
                              tag: 4
                            }, fmt$1);
                }
                }(k$1,o$1,acc$1,fmt$1,fconv,p));
              }
            }
            else if (pad.tag) {
              var padty = pad[0];
              if (typeof prec === "number") {
                if (prec !== 0) {
                  return (function(k$1,o$1,acc$1,fmt$1,fconv,padty){
                  return function (w, p, x) {
                    var str = fix_padding(padty, w, convert_float(fconv, p, x));
                    return make_printf(k$1, o$1, /* Acc_data_string */{
                                0: acc$1,
                                1: str,
                                length: 2,
                                tag: 4
                              }, fmt$1);
                  }
                  }(k$1,o$1,acc$1,fmt$1,fconv,padty));
                }
                else {
                  return (function(k$1,o$1,acc$1,fmt$1,fconv,padty){
                  return function (w, x) {
                    var str = convert_float(fconv, 6, x);
                    var str$prime = fix_padding(padty, w, str);
                    return make_printf(k$1, o$1, /* Acc_data_string */{
                                0: acc$1,
                                1: str$prime,
                                length: 2,
                                tag: 4
                              }, fmt$1);
                  }
                  }(k$1,o$1,acc$1,fmt$1,fconv,padty));
                }
              }
              else {
                var p$1 = prec[0];
                return (function(k$1,o$1,acc$1,fmt$1,fconv,padty,p$1){
                return function (w, x) {
                  var str = fix_padding(padty, w, convert_float(fconv, p$1, x));
                  return make_printf(k$1, o$1, /* Acc_data_string */{
                              0: acc$1,
                              1: str,
                              length: 2,
                              tag: 4
                            }, fmt$1);
                }
                }(k$1,o$1,acc$1,fmt$1,fconv,padty,p$1));
              }
            }
            else {
              var w = pad[1];
              var padty$1 = pad[0];
              if (typeof prec === "number") {
                if (prec !== 0) {
                  return (function(k$1,o$1,acc$1,fmt$1,fconv,padty$1,w){
                  return function (p, x) {
                    var str = fix_padding(padty$1, w, convert_float(fconv, p, x));
                    return make_printf(k$1, o$1, /* Acc_data_string */{
                                0: acc$1,
                                1: str,
                                length: 2,
                                tag: 4
                              }, fmt$1);
                  }
                  }(k$1,o$1,acc$1,fmt$1,fconv,padty$1,w));
                }
                else {
                  return (function(k$1,o$1,acc$1,fmt$1,fconv,padty$1,w){
                  return function (x) {
                    var str = convert_float(fconv, 6, x);
                    var str$prime = fix_padding(padty$1, w, str);
                    return make_printf(k$1, o$1, /* Acc_data_string */{
                                0: acc$1,
                                1: str$prime,
                                length: 2,
                                tag: 4
                              }, fmt$1);
                  }
                  }(k$1,o$1,acc$1,fmt$1,fconv,padty$1,w));
                }
              }
              else {
                var p$2 = prec[0];
                return (function(k$1,o$1,acc$1,fmt$1,fconv,padty$1,w,p$2){
                return function (x) {
                  var str = fix_padding(padty$1, w, convert_float(fconv, p$2, x));
                  return make_printf(k$1, o$1, /* Acc_data_string */{
                              0: acc$1,
                              1: str,
                              length: 2,
                              tag: 4
                            }, fmt$1);
                }
                }(k$1,o$1,acc$1,fmt$1,fconv,padty$1,w,p$2));
              }
            }
        case 9 : 
            var rest$2 = fmt[0];
            return (function(k,acc,rest$2){
            return function (b) {
              return make_printf(k, o, /* Acc_data_string */{
                          0: acc,
                          1: b ? "true" : "false",
                          length: 2,
                          tag: 4
                        }, rest$2);
            }
            }(k,acc,rest$2));
        case 10 : 
            _fmt = fmt[0];
            _acc = /* Acc_flush */{
              0: acc,
              length: 1,
              tag: 7
            };
            continue ;
            case 11 : 
            _fmt = fmt[1];
            _acc = /* Acc_string_literal */{
              0: acc,
              1: fmt[0],
              length: 2,
              tag: 2
            };
            continue ;
            case 12 : 
            _fmt = fmt[1];
            _acc = /* Acc_char_literal */{
              0: acc,
              1: fmt[0],
              length: 2,
              tag: 3
            };
            continue ;
            case 13 : 
            var rest$3 = fmt[2];
            var ty = string_of_fmtty(fmt[1]);
            return (function(k,acc,rest$3,ty){
            return function () {
              return make_printf(k, o, /* Acc_data_string */{
                          0: acc,
                          1: ty,
                          length: 2,
                          tag: 4
                        }, rest$3);
            }
            }(k,acc,rest$3,ty));
        case 14 : 
            var rest$4 = fmt[2];
            var fmtty = fmt[1];
            return (function(k,acc,fmtty,rest$4){
            return function (param) {
              return make_printf(k, o, acc, CamlinternalFormatBasics.concat_fmt(recast(param[0], fmtty), rest$4));
            }
            }(k,acc,fmtty,rest$4));
        case 15 : 
            var rest$5 = fmt[0];
            return (function(k,acc,rest$5){
            return function (f, x) {
              return make_printf(k, o, /* Acc_delay */{
                          0: acc,
                          1: function (o) {
                            return Caml_curry.app2(f, o, x);
                          },
                          length: 2,
                          tag: 6
                        }, rest$5);
            }
            }(k,acc,rest$5));
        case 16 : 
            var rest$6 = fmt[0];
            return (function(k,acc,rest$6){
            return function (f) {
              return make_printf(k, o, /* Acc_delay */{
                          0: acc,
                          1: f,
                          length: 2,
                          tag: 6
                        }, rest$6);
            }
            }(k,acc,rest$6));
        case 17 : 
            _fmt = fmt[1];
            _acc = /* Acc_formatting_lit */{
              0: acc,
              1: fmt[0],
              length: 2,
              tag: 0
            };
            continue ;
            case 18 : 
            var match = fmt[0];
            if (match.tag) {
              var rest$7 = fmt[1];
              var k$prime = (function(k,acc,rest$7){
              return function (koc, kacc) {
                return make_printf(k, koc, /* Acc_formatting_gen */{
                            0: acc,
                            1: /* Acc_open_box */{
                              0: kacc,
                              length: 1,
                              tag: 1
                            },
                            length: 2,
                            tag: 1
                          }, rest$7);
              }
              }(k,acc,rest$7));
              _fmt = match[0][0];
              _acc = /* End_of_acc */0;
              _k = k$prime;
              continue ;
              
            }
            else {
              var rest$8 = fmt[1];
              var k$prime$1 = (function(k,acc,rest$8){
              return function (koc, kacc) {
                return make_printf(k, koc, /* Acc_formatting_gen */{
                            0: acc,
                            1: /* Acc_open_tag */{
                              0: kacc,
                              length: 1,
                              tag: 0
                            },
                            length: 2,
                            tag: 1
                          }, rest$8);
              }
              }(k,acc,rest$8));
              _fmt = match[0][0];
              _acc = /* End_of_acc */0;
              _k = k$prime$1;
              continue ;
              
            }
            break;
        case 19 : 
            throw [
                  Caml_builtin_exceptions.assert_failure,
                  [
                    "camlinternalFormat.ml",
                    1449,
                    4
                  ]
                ];
        case 20 : 
            var rest$9 = fmt[2];
            var new_acc = /* Acc_invalid_arg */{
              0: acc,
              1: "Printf: bad conversion %[",
              length: 2,
              tag: 8
            };
            return (function(k,rest$9,new_acc){
            return function () {
              return make_printf(k, o, new_acc, rest$9);
            }
            }(k,rest$9,new_acc));
        case 21 : 
            var rest$10 = fmt[1];
            return (function(k,acc,rest$10){
            return function (n) {
              var new_acc_001 = Caml_format.caml_format_int("%u", n);
              var new_acc = /* Acc_data_string */{
                0: acc,
                1: new_acc_001,
                length: 2,
                tag: 4
              };
              return make_printf(k, o, new_acc, rest$10);
            }
            }(k,acc,rest$10));
        case 22 : 
            var rest$11 = fmt[0];
            return (function(k,acc,rest$11){
            return function (c) {
              var new_acc = /* Acc_data_char */{
                0: acc,
                1: c,
                length: 2,
                tag: 5
              };
              return make_printf(k, o, new_acc, rest$11);
            }
            }(k,acc,rest$11));
        case 23 : 
            var k$2 = k;
            var o$2 = o;
            var acc$2 = acc;
            var ign = fmt[0];
            var fmt$2 = fmt[1];
            if (typeof ign === "number") {
              switch (ign) {
                case 3 : 
                    throw [
                          Caml_builtin_exceptions.assert_failure,
                          [
                            "camlinternalFormat.ml",
                            1517,
                            39
                          ]
                        ];
                case 0 : 
                case 1 : 
                case 2 : 
                case 4 : 
                    return make_invalid_arg(k$2, o$2, acc$2, fmt$2);
                
              }
            }
            else {
              switch (ign.tag | 0) {
                case 8 : 
                    return make_from_fmtty(k$2, o$2, acc$2, ign[1], fmt$2);
                case 0 : 
                case 1 : 
                case 2 : 
                case 3 : 
                case 4 : 
                case 5 : 
                case 6 : 
                case 7 : 
                case 9 : 
                case 10 : 
                    return make_invalid_arg(k$2, o$2, acc$2, fmt$2);
                
              }
            }
        case 24 : 
            return make_custom(k, o, acc, fmt[2], fmt[0], Caml_curry.app1(fmt[1], /* () */0));
        
      }
    }
  };
}

function make_from_fmtty(k, o, acc, fmtty, fmt) {
  if (typeof fmtty === "number") {
    return make_invalid_arg(k, o, acc, fmt);
  }
  else {
    switch (fmtty.tag | 0) {
      case 0 : 
          var rest = fmtty[0];
          return function () {
            return make_from_fmtty(k, o, acc, rest, fmt);
          };
      case 1 : 
          var rest$1 = fmtty[0];
          return function () {
            return make_from_fmtty(k, o, acc, rest$1, fmt);
          };
      case 2 : 
          var rest$2 = fmtty[0];
          return function () {
            return make_from_fmtty(k, o, acc, rest$2, fmt);
          };
      case 3 : 
          var rest$3 = fmtty[0];
          return function () {
            return make_from_fmtty(k, o, acc, rest$3, fmt);
          };
      case 4 : 
          var rest$4 = fmtty[0];
          return function () {
            return make_from_fmtty(k, o, acc, rest$4, fmt);
          };
      case 5 : 
          var rest$5 = fmtty[0];
          return function () {
            return make_from_fmtty(k, o, acc, rest$5, fmt);
          };
      case 6 : 
          var rest$6 = fmtty[0];
          return function () {
            return make_from_fmtty(k, o, acc, rest$6, fmt);
          };
      case 7 : 
          var rest$7 = fmtty[0];
          return function () {
            return make_from_fmtty(k, o, acc, rest$7, fmt);
          };
      case 8 : 
          var rest$8 = fmtty[1];
          return function () {
            return make_from_fmtty(k, o, acc, rest$8, fmt);
          };
      case 9 : 
          var rest$9 = fmtty[2];
          var ty = trans(symm(fmtty[0]), fmtty[1]);
          return function () {
            return make_from_fmtty(k, o, acc, CamlinternalFormatBasics.concat_fmtty(ty, rest$9), fmt);
          };
      case 10 : 
          var rest$10 = fmtty[0];
          return function (_, _$1) {
            return make_from_fmtty(k, o, acc, rest$10, fmt);
          };
      case 11 : 
          var rest$11 = fmtty[0];
          return function () {
            return make_from_fmtty(k, o, acc, rest$11, fmt);
          };
      case 12 : 
          var rest$12 = fmtty[0];
          return function () {
            return make_from_fmtty(k, o, acc, rest$12, fmt);
          };
      case 13 : 
          throw [
                Caml_builtin_exceptions.assert_failure,
                [
                  "camlinternalFormat.ml",
                  1540,
                  31
                ]
              ];
      case 14 : 
          throw [
                Caml_builtin_exceptions.assert_failure,
                [
                  "camlinternalFormat.ml",
                  1541,
                  31
                ]
              ];
      
    }
  }
}

function make_invalid_arg(k, o, acc, fmt) {
  return make_printf(k, o, /* Acc_invalid_arg */{
              0: acc,
              1: "Printf: bad conversion %_",
              length: 2,
              tag: 8
            }, fmt);
}

function make_string_padding(k, o, acc, fmt, pad, trans) {
  if (typeof pad === "number") {
    return function (x) {
      var new_acc_001 = Caml_curry.app1(trans, x);
      var new_acc = /* Acc_data_string */{
        0: acc,
        1: new_acc_001,
        length: 2,
        tag: 4
      };
      return make_printf(k, o, new_acc, fmt);
    };
  }
  else if (pad.tag) {
    var padty = pad[0];
    return function (w, x) {
      var new_acc_001 = fix_padding(padty, w, Caml_curry.app1(trans, x));
      var new_acc = /* Acc_data_string */{
        0: acc,
        1: new_acc_001,
        length: 2,
        tag: 4
      };
      return make_printf(k, o, new_acc, fmt);
    };
  }
  else {
    var width = pad[1];
    var padty$1 = pad[0];
    return function (x) {
      var new_acc_001 = fix_padding(padty$1, width, Caml_curry.app1(trans, x));
      var new_acc = /* Acc_data_string */{
        0: acc,
        1: new_acc_001,
        length: 2,
        tag: 4
      };
      return make_printf(k, o, new_acc, fmt);
    };
  }
}

function make_int_padding_precision(k, o, acc, fmt, pad, prec, trans, iconv) {
  if (typeof pad === "number") {
    if (typeof prec === "number") {
      if (prec !== 0) {
        return function (p, x) {
          var str = fix_int_precision(p, Caml_curry.app2(trans, iconv, x));
          return make_printf(k, o, /* Acc_data_string */{
                      0: acc,
                      1: str,
                      length: 2,
                      tag: 4
                    }, fmt);
        };
      }
      else {
        return function (x) {
          var str = Caml_curry.app2(trans, iconv, x);
          return make_printf(k, o, /* Acc_data_string */{
                      0: acc,
                      1: str,
                      length: 2,
                      tag: 4
                    }, fmt);
        };
      }
    }
    else {
      var p = prec[0];
      return function (x) {
        var str = fix_int_precision(p, Caml_curry.app2(trans, iconv, x));
        return make_printf(k, o, /* Acc_data_string */{
                    0: acc,
                    1: str,
                    length: 2,
                    tag: 4
                  }, fmt);
      };
    }
  }
  else if (pad.tag) {
    var padty = pad[0];
    if (typeof prec === "number") {
      if (prec !== 0) {
        return function (w, p, x) {
          var str = fix_padding(padty, w, fix_int_precision(p, Caml_curry.app2(trans, iconv, x)));
          return make_printf(k, o, /* Acc_data_string */{
                      0: acc,
                      1: str,
                      length: 2,
                      tag: 4
                    }, fmt);
        };
      }
      else {
        return function (w, x) {
          var str = fix_padding(padty, w, Caml_curry.app2(trans, iconv, x));
          return make_printf(k, o, /* Acc_data_string */{
                      0: acc,
                      1: str,
                      length: 2,
                      tag: 4
                    }, fmt);
        };
      }
    }
    else {
      var p$1 = prec[0];
      return function (w, x) {
        var str = fix_padding(padty, w, fix_int_precision(p$1, Caml_curry.app2(trans, iconv, x)));
        return make_printf(k, o, /* Acc_data_string */{
                    0: acc,
                    1: str,
                    length: 2,
                    tag: 4
                  }, fmt);
      };
    }
  }
  else {
    var w = pad[1];
    var padty$1 = pad[0];
    if (typeof prec === "number") {
      if (prec !== 0) {
        return function (p, x) {
          var str = fix_padding(padty$1, w, fix_int_precision(p, Caml_curry.app2(trans, iconv, x)));
          return make_printf(k, o, /* Acc_data_string */{
                      0: acc,
                      1: str,
                      length: 2,
                      tag: 4
                    }, fmt);
        };
      }
      else {
        return function (x) {
          var str = fix_padding(padty$1, w, Caml_curry.app2(trans, iconv, x));
          return make_printf(k, o, /* Acc_data_string */{
                      0: acc,
                      1: str,
                      length: 2,
                      tag: 4
                    }, fmt);
        };
      }
    }
    else {
      var p$2 = prec[0];
      return function (x) {
        var str = fix_padding(padty$1, w, fix_int_precision(p$2, Caml_curry.app2(trans, iconv, x)));
        return make_printf(k, o, /* Acc_data_string */{
                    0: acc,
                    1: str,
                    length: 2,
                    tag: 4
                  }, fmt);
      };
    }
  }
}

function make_custom(k, o, acc, rest, arity, f) {
  if (arity) {
    var arity$1 = arity[0];
    return function (x) {
      return make_custom(k, o, acc, rest, arity$1, Caml_curry.app1(f, x));
    };
  }
  else {
    return make_printf(k, o, /* Acc_data_string */{
                0: acc,
                1: f,
                length: 2,
                tag: 4
              }, rest);
  }
}

function output_acc(o, _acc) {
  while(true) {
    var acc = _acc;
    var exit = 0;
    if (typeof acc === "number") {
      return /* () */0;
    }
    else {
      switch (acc.tag | 0) {
        case 0 : 
            var s = string_of_formatting_lit(acc[1]);
            output_acc(o, acc[0]);
            return Pervasives.output_string(o, s);
        case 1 : 
            var match = acc[1];
            var p = acc[0];
            output_acc(o, p);
            if (match.tag) {
              Pervasives.output_string(o, "@[");
              _acc = match[0];
              continue ;
              
            }
            else {
              Pervasives.output_string(o, "@{");
              _acc = match[0];
              continue ;
              
            }
            break;
        case 2 : 
        case 4 : 
            exit = 1;
            break;
        case 3 : 
        case 5 : 
            exit = 2;
            break;
        case 6 : 
            output_acc(o, acc[0]);
            return Caml_curry.app1(acc[1], o);
        case 7 : 
            output_acc(o, acc[0]);
            return Caml_io.caml_ml_flush(o);
        case 8 : 
            output_acc(o, acc[0]);
            throw [
                  Caml_builtin_exceptions.invalid_argument,
                  acc[1]
                ];
        
      }
    }
    switch (exit) {
      case 1 : 
          output_acc(o, acc[0]);
          return Pervasives.output_string(o, acc[1]);
      case 2 : 
          output_acc(o, acc[0]);
          return Caml_io.caml_ml_output_char(o, acc[1]);
      
    }
  };
}

function bufput_acc(b, _acc) {
  while(true) {
    var acc = _acc;
    var exit = 0;
    if (typeof acc === "number") {
      return /* () */0;
    }
    else {
      switch (acc.tag | 0) {
        case 0 : 
            var s = string_of_formatting_lit(acc[1]);
            bufput_acc(b, acc[0]);
            return Buffer.add_string(b, s);
        case 1 : 
            var match = acc[1];
            var p = acc[0];
            bufput_acc(b, p);
            if (match.tag) {
              Buffer.add_string(b, "@[");
              _acc = match[0];
              continue ;
              
            }
            else {
              Buffer.add_string(b, "@{");
              _acc = match[0];
              continue ;
              
            }
            break;
        case 2 : 
        case 4 : 
            exit = 1;
            break;
        case 3 : 
        case 5 : 
            exit = 2;
            break;
        case 6 : 
            bufput_acc(b, acc[0]);
            return Caml_curry.app1(acc[1], b);
        case 7 : 
            _acc = acc[0];
            continue ;
            case 8 : 
            bufput_acc(b, acc[0]);
            throw [
                  Caml_builtin_exceptions.invalid_argument,
                  acc[1]
                ];
        
      }
    }
    switch (exit) {
      case 1 : 
          bufput_acc(b, acc[0]);
          return Buffer.add_string(b, acc[1]);
      case 2 : 
          bufput_acc(b, acc[0]);
          return Buffer.add_char(b, acc[1]);
      
    }
  };
}

function strput_acc(b, _acc) {
  while(true) {
    var acc = _acc;
    var exit = 0;
    if (typeof acc === "number") {
      return /* () */0;
    }
    else {
      switch (acc.tag | 0) {
        case 0 : 
            var s = string_of_formatting_lit(acc[1]);
            strput_acc(b, acc[0]);
            return Buffer.add_string(b, s);
        case 1 : 
            var match = acc[1];
            var p = acc[0];
            strput_acc(b, p);
            if (match.tag) {
              Buffer.add_string(b, "@[");
              _acc = match[0];
              continue ;
              
            }
            else {
              Buffer.add_string(b, "@{");
              _acc = match[0];
              continue ;
              
            }
            break;
        case 2 : 
        case 4 : 
            exit = 1;
            break;
        case 3 : 
        case 5 : 
            exit = 2;
            break;
        case 6 : 
            strput_acc(b, acc[0]);
            return Buffer.add_string(b, Caml_curry.app1(acc[1], /* () */0));
        case 7 : 
            _acc = acc[0];
            continue ;
            case 8 : 
            strput_acc(b, acc[0]);
            throw [
                  Caml_builtin_exceptions.invalid_argument,
                  acc[1]
                ];
        
      }
    }
    switch (exit) {
      case 1 : 
          strput_acc(b, acc[0]);
          return Buffer.add_string(b, acc[1]);
      case 2 : 
          strput_acc(b, acc[0]);
          return Buffer.add_char(b, acc[1]);
      
    }
  };
}

function failwith_message(param) {
  var buf = Buffer.create(256);
  var k = function (_, acc) {
    strput_acc(buf, acc);
    var s = Buffer.contents(buf);
    throw [
          Caml_builtin_exceptions.failure,
          s
        ];
  };
  return make_printf(k, /* () */0, /* End_of_acc */0, param[0]);
}

function open_box_of_string(str) {
  if (str === "") {
    return /* tuple */[
            0,
            /* Pp_box */4
          ];
  }
  else {
    var len = str.length;
    var invalid_box = function () {
      return Caml_curry.app1(failwith_message(/* Format */{
                      0: /* String_literal */{
                        0: "invalid box description ",
                        1: /* Caml_string */{
                          0: /* No_padding */0,
                          1: /* End_of_format */0,
                          length: 2,
                          tag: 3
                        },
                        length: 2,
                        tag: 11
                      },
                      1: "invalid box description %S",
                      length: 2,
                      tag: 0
                    }), str);
    };
    var parse_spaces = function (_i) {
      while(true) {
        var i = _i;
        if (i === len) {
          return i;
        }
        else {
          var match = str.charCodeAt(i);
          if (match !== 9) {
            if (match !== 32) {
              return i;
            }
            else {
              _i = i + 1;
              continue ;
              
            }
          }
          else {
            _i = i + 1;
            continue ;
            
          }
        }
      };
    };
    var parse_lword = function (_, _j) {
      while(true) {
        var j = _j;
        if (j === len) {
          return j;
        }
        else {
          var match = str.charCodeAt(j);
          if (match > 122 || match < 97) {
            return j;
          }
          else {
            _j = j + 1;
            continue ;
            
          }
        }
      };
    };
    var parse_int = function (_, _j) {
      while(true) {
        var j = _j;
        if (j === len) {
          return j;
        }
        else {
          var match = str.charCodeAt(j);
          if (match >= 48) {
            if (match >= 58) {
              return j;
            }
            else {
              _j = j + 1;
              continue ;
              
            }
          }
          else if (match !== 45) {
            return j;
          }
          else {
            _j = j + 1;
            continue ;
            
          }
        }
      };
    };
    var wstart = parse_spaces(0);
    var wend = parse_lword(wstart, wstart);
    var box_name = $$String.sub(str, wstart, wend - wstart);
    var nstart = parse_spaces(wend);
    var nend = parse_int(nstart, nstart);
    var indent;
    if (nstart === nend) {
      indent = 0;
    }
    else {
      try {
        indent = Caml_format.caml_int_of_string($$String.sub(str, nstart, nend - nstart));
      }
      catch (exn){
        if (exn[0] === Caml_builtin_exceptions.failure) {
          indent = invalid_box(/* () */0);
        }
        else {
          throw exn;
        }
      }
    }
    var exp_end = parse_spaces(nend);
    if (exp_end !== len) {
      invalid_box(/* () */0);
    }
    var box_type;
    switch (box_name) {
      case "" : 
      case "b" : 
          box_type = /* Pp_box */4;
          break;
      case "h" : 
          box_type = /* Pp_hbox */0;
          break;
      case "hov" : 
          box_type = /* Pp_hovbox */3;
          break;
      case "hv" : 
          box_type = /* Pp_hvbox */2;
          break;
      case "v" : 
          box_type = /* Pp_vbox */1;
          break;
      default:
        box_type = invalid_box(/* () */0);
    }
    return /* tuple */[
            indent,
            box_type
          ];
  }
}

function make_padding_fmt_ebb(pad, fmt) {
  if (typeof pad === "number") {
    return /* Padding_fmt_EBB */{
            0: /* No_padding */0,
            1: fmt,
            length: 2,
            tag: 0
          };
  }
  else if (pad.tag) {
    return /* Padding_fmt_EBB */{
            0: /* Arg_padding */{
              0: pad[0],
              length: 1,
              tag: 1
            },
            1: fmt,
            length: 2,
            tag: 0
          };
  }
  else {
    return /* Padding_fmt_EBB */{
            0: /* Lit_padding */{
              0: pad[0],
              1: pad[1],
              length: 2,
              tag: 0
            },
            1: fmt,
            length: 2,
            tag: 0
          };
  }
}

function make_precision_fmt_ebb(prec, fmt) {
  if (typeof prec === "number") {
    if (prec !== 0) {
      return /* Precision_fmt_EBB */{
              0: /* Arg_precision */1,
              1: fmt,
              length: 2,
              tag: 0
            };
    }
    else {
      return /* Precision_fmt_EBB */{
              0: /* No_precision */0,
              1: fmt,
              length: 2,
              tag: 0
            };
    }
  }
  else {
    return /* Precision_fmt_EBB */{
            0: /* Lit_precision */{
              0: prec[0],
              length: 1,
              tag: 0
            },
            1: fmt,
            length: 2,
            tag: 0
          };
  }
}

function make_padprec_fmt_ebb(pad, prec, fmt) {
  var match = make_precision_fmt_ebb(prec, fmt);
  var fmt$prime = match[1];
  var prec$1 = match[0];
  if (typeof pad === "number") {
    return /* Padprec_fmt_EBB */{
            0: /* No_padding */0,
            1: prec$1,
            2: fmt$prime,
            length: 3,
            tag: 0
          };
  }
  else if (pad.tag) {
    return /* Padprec_fmt_EBB */{
            0: /* Arg_padding */{
              0: pad[0],
              length: 1,
              tag: 1
            },
            1: prec$1,
            2: fmt$prime,
            length: 3,
            tag: 0
          };
  }
  else {
    return /* Padprec_fmt_EBB */{
            0: /* Lit_padding */{
              0: pad[0],
              1: pad[1],
              length: 2,
              tag: 0
            },
            1: prec$1,
            2: fmt$prime,
            length: 3,
            tag: 0
          };
  }
}

function fmt_ebb_of_string(legacy_behavior, str) {
  var legacy_behavior$1 = legacy_behavior ? legacy_behavior[0] : /* true */1;
  var invalid_format_message = function (str_ind, msg) {
    return Caml_curry.app3(failwith_message(/* Format */{
                    0: /* String_literal */{
                      0: "invalid format ",
                      1: /* Caml_string */{
                        0: /* No_padding */0,
                        1: /* String_literal */{
                          0: ": at character number ",
                          1: /* Int */{
                            0: /* Int_d */0,
                            1: /* No_padding */0,
                            2: /* No_precision */0,
                            3: /* String_literal */{
                              0: ", ",
                              1: /* String */{
                                0: /* No_padding */0,
                                1: /* End_of_format */0,
                                length: 2,
                                tag: 2
                              },
                              length: 2,
                              tag: 11
                            },
                            length: 4,
                            tag: 4
                          },
                          length: 2,
                          tag: 11
                        },
                        length: 2,
                        tag: 3
                      },
                      length: 2,
                      tag: 11
                    },
                    1: "invalid format %S: at character number %d, %s",
                    length: 2,
                    tag: 0
                  }), str, str_ind, msg);
  };
  var invalid_format_without = function (str_ind, c, s) {
    return Caml_curry.app4(failwith_message(/* Format */{
                    0: /* String_literal */{
                      0: "invalid format ",
                      1: /* Caml_string */{
                        0: /* No_padding */0,
                        1: /* String_literal */{
                          0: ": at character number ",
                          1: /* Int */{
                            0: /* Int_d */0,
                            1: /* No_padding */0,
                            2: /* No_precision */0,
                            3: /* String_literal */{
                              0: ", '",
                              1: /* Char */{
                                0: /* String_literal */{
                                  0: "' without ",
                                  1: /* String */{
                                    0: /* No_padding */0,
                                    1: /* End_of_format */0,
                                    length: 2,
                                    tag: 2
                                  },
                                  length: 2,
                                  tag: 11
                                },
                                length: 1,
                                tag: 0
                              },
                              length: 2,
                              tag: 11
                            },
                            length: 4,
                            tag: 4
                          },
                          length: 2,
                          tag: 11
                        },
                        length: 2,
                        tag: 3
                      },
                      length: 2,
                      tag: 11
                    },
                    1: "invalid format %S: at character number %d, '%c' without %s",
                    length: 2,
                    tag: 0
                  }), str, str_ind, c, s);
  };
  var expected_character = function (str_ind, expected, read) {
    return Caml_curry.app4(failwith_message(/* Format */{
                    0: /* String_literal */{
                      0: "invalid format ",
                      1: /* Caml_string */{
                        0: /* No_padding */0,
                        1: /* String_literal */{
                          0: ": at character number ",
                          1: /* Int */{
                            0: /* Int_d */0,
                            1: /* No_padding */0,
                            2: /* No_precision */0,
                            3: /* String_literal */{
                              0: ", ",
                              1: /* String */{
                                0: /* No_padding */0,
                                1: /* String_literal */{
                                  0: " expected, read ",
                                  1: /* Caml_char */{
                                    0: /* End_of_format */0,
                                    length: 1,
                                    tag: 1
                                  },
                                  length: 2,
                                  tag: 11
                                },
                                length: 2,
                                tag: 2
                              },
                              length: 2,
                              tag: 11
                            },
                            length: 4,
                            tag: 4
                          },
                          length: 2,
                          tag: 11
                        },
                        length: 2,
                        tag: 3
                      },
                      length: 2,
                      tag: 11
                    },
                    1: "invalid format %S: at character number %d, %s expected, read %C",
                    length: 2,
                    tag: 0
                  }), str, str_ind, expected, read);
  };
  var parse_literal = function (lit_start, _str_ind, end_ind) {
    while(true) {
      var str_ind = _str_ind;
      if (str_ind === end_ind) {
        return add_literal(lit_start, str_ind, /* End_of_format */0);
      }
      else {
        var match = str.charCodeAt(str_ind);
        if (match !== 37) {
          if (match !== 64) {
            _str_ind = str_ind + 1;
            continue ;
            
          }
          else {
            var match$1 = parse_after_at(str_ind + 1, end_ind);
            return add_literal(lit_start, str_ind, match$1[0]);
          }
        }
        else {
          var match$2 = parse_format(str_ind, end_ind);
          return add_literal(lit_start, str_ind, match$2[0]);
        }
      }
    };
  };
  var parse_format = function (pct_ind, end_ind) {
    var pct_ind$1 = pct_ind;
    var str_ind = pct_ind + 1;
    var end_ind$1 = end_ind;
    if (str_ind === end_ind$1) {
      invalid_format_message(end_ind$1, "unexpected end of format");
    }
    var match = str.charCodeAt(str_ind);
    if (match !== 95) {
      return parse_flags(pct_ind$1, str_ind, end_ind$1, /* false */0);
    }
    else {
      return parse_flags(pct_ind$1, str_ind + 1, end_ind$1, /* true */1);
    }
  };
  var parse_flags = function (pct_ind, str_ind, end_ind, ign) {
    var zero = [/* false */0];
    var minus = [/* false */0];
    var plus = [/* false */0];
    var space = [/* false */0];
    var sharp = [/* false */0];
    var set_flag = function (str_ind, flag) {
      if (flag[0] && !legacy_behavior$1) {
        Caml_curry.app3(failwith_message(/* Format */{
                  0: /* String_literal */{
                    0: "invalid format ",
                    1: /* Caml_string */{
                      0: /* No_padding */0,
                      1: /* String_literal */{
                        0: ": at character number ",
                        1: /* Int */{
                          0: /* Int_d */0,
                          1: /* No_padding */0,
                          2: /* No_precision */0,
                          3: /* String_literal */{
                            0: ", duplicate flag ",
                            1: /* Caml_char */{
                              0: /* End_of_format */0,
                              length: 1,
                              tag: 1
                            },
                            length: 2,
                            tag: 11
                          },
                          length: 4,
                          tag: 4
                        },
                        length: 2,
                        tag: 11
                      },
                      length: 2,
                      tag: 3
                    },
                    length: 2,
                    tag: 11
                  },
                  1: "invalid format %S: at character number %d, duplicate flag %C",
                  length: 2,
                  tag: 0
                }), str, str_ind, str.charCodeAt(str_ind));
      }
      flag[0] = /* true */1;
      return /* () */0;
    };
    var _str_ind = str_ind;
    while(true) {
      var str_ind$1 = _str_ind;
      if (str_ind$1 === end_ind) {
        invalid_format_message(end_ind, "unexpected end of format");
      }
      var match = str.charCodeAt(str_ind$1);
      var exit = 0;
      var switcher = match - 32;
      if (switcher > 16 || switcher < 0) {
        exit = 1;
      }
      else {
        switch (switcher) {
          case 0 : 
              set_flag(str_ind$1, space);
              _str_ind = str_ind$1 + 1;
              continue ;
              case 3 : 
              set_flag(str_ind$1, sharp);
              _str_ind = str_ind$1 + 1;
              continue ;
              case 11 : 
              set_flag(str_ind$1, plus);
              _str_ind = str_ind$1 + 1;
              continue ;
              case 13 : 
              set_flag(str_ind$1, minus);
              _str_ind = str_ind$1 + 1;
              continue ;
              case 1 : 
          case 2 : 
          case 4 : 
          case 5 : 
          case 6 : 
          case 7 : 
          case 8 : 
          case 9 : 
          case 10 : 
          case 12 : 
          case 14 : 
          case 15 : 
              exit = 1;
              break;
          case 16 : 
              set_flag(str_ind$1, zero);
              _str_ind = str_ind$1 + 1;
              continue ;
              
        }
      }
      if (exit === 1) {
        var pct_ind$1 = pct_ind;
        var str_ind$2 = str_ind$1;
        var end_ind$1 = end_ind;
        var zero$1 = zero[0];
        var minus$1 = minus[0];
        var plus$1 = plus[0];
        var sharp$1 = sharp[0];
        var space$1 = space[0];
        var ign$1 = ign;
        if (str_ind$2 === end_ind$1) {
          invalid_format_message(end_ind$1, "unexpected end of format");
        }
        var padty = zero$1 !== 0 ? (
            minus$1 !== 0 ? (
                legacy_behavior$1 ? /* Left */0 : incompatible_flag(pct_ind$1, str_ind$2, /* "-" */45, "0")
              ) : /* Zeros */2
          ) : (
            minus$1 !== 0 ? /* Left */0 : /* Right */1
          );
        var match$1 = str.charCodeAt(str_ind$2);
        var exit$1 = 0;
        if (match$1 >= 48) {
          if (match$1 >= 58) {
            exit$1 = 1;
          }
          else {
            var match$2 = parse_positive(str_ind$2, end_ind$1, 0);
            return parse_after_padding(pct_ind$1, match$2[0], end_ind$1, minus$1, plus$1, sharp$1, space$1, ign$1, /* Lit_padding */{
                        0: padty,
                        1: match$2[1],
                        length: 2,
                        tag: 0
                      });
          }
        }
        else if (match$1 !== 42) {
          exit$1 = 1;
        }
        else {
          return parse_after_padding(pct_ind$1, str_ind$2 + 1, end_ind$1, minus$1, plus$1, sharp$1, space$1, ign$1, /* Arg_padding */{
                      0: padty,
                      length: 1,
                      tag: 1
                    });
        }
        if (exit$1 === 1) {
          switch (padty) {
            case 0 : 
                if (!legacy_behavior$1) {
                  invalid_format_without(str_ind$2 - 1, /* "-" */45, "padding");
                }
                return parse_after_padding(pct_ind$1, str_ind$2, end_ind$1, minus$1, plus$1, sharp$1, space$1, ign$1, /* No_padding */0);
            case 1 : 
                return parse_after_padding(pct_ind$1, str_ind$2, end_ind$1, minus$1, plus$1, sharp$1, space$1, ign$1, /* No_padding */0);
            case 2 : 
                return parse_after_padding(pct_ind$1, str_ind$2, end_ind$1, minus$1, plus$1, sharp$1, space$1, ign$1, /* Lit_padding */{
                            0: /* Right */1,
                            1: 0,
                            length: 2,
                            tag: 0
                          });
            
          }
        }
        
      }
      
    };
  };
  var parse_after_padding = function (pct_ind, str_ind, end_ind, minus, plus, sharp, space, ign, pad) {
    if (str_ind === end_ind) {
      invalid_format_message(end_ind, "unexpected end of format");
    }
    var symb = str.charCodeAt(str_ind);
    if (symb !== 46) {
      return parse_conversion(pct_ind, str_ind + 1, end_ind, plus, sharp, space, ign, pad, /* No_precision */0, pad, symb);
    }
    else {
      var pct_ind$1 = pct_ind;
      var str_ind$1 = str_ind + 1;
      var end_ind$1 = end_ind;
      var minus$1 = minus;
      var plus$1 = plus;
      var sharp$1 = sharp;
      var space$1 = space;
      var ign$1 = ign;
      var pad$1 = pad;
      if (str_ind$1 === end_ind$1) {
        invalid_format_message(end_ind$1, "unexpected end of format");
      }
      var parse_literal = function (minus, str_ind) {
        var match = parse_positive(str_ind, end_ind$1, 0);
        return parse_after_precision(pct_ind$1, match[0], end_ind$1, minus, plus$1, sharp$1, space$1, ign$1, pad$1, /* Lit_precision */{
                    0: match[1],
                    length: 1,
                    tag: 0
                  });
      };
      var symb$1 = str.charCodeAt(str_ind$1);
      var exit = 0;
      var exit$1 = 0;
      if (symb$1 >= 48) {
        if (symb$1 >= 58) {
          exit = 1;
        }
        else {
          return parse_literal(minus$1, str_ind$1);
        }
      }
      else if (symb$1 >= 42) {
        switch (symb$1 - 42) {
          case 0 : 
              return parse_after_precision(pct_ind$1, str_ind$1 + 1, end_ind$1, minus$1, plus$1, sharp$1, space$1, ign$1, pad$1, /* Arg_precision */1);
          case 1 : 
          case 3 : 
              exit$1 = 2;
              break;
          case 2 : 
          case 4 : 
          case 5 : 
              exit = 1;
              break;
          
        }
      }
      else {
        exit = 1;
      }
      if (exit$1 === 2) {
        if (legacy_behavior$1) {
          return parse_literal(+(minus$1 || symb$1 === /* "-" */45), str_ind$1 + 1);
        }
        else {
          exit = 1;
        }
      }
      if (exit === 1) {
        if (legacy_behavior$1) {
          return parse_after_precision(pct_ind$1, str_ind$1, end_ind$1, minus$1, plus$1, sharp$1, space$1, ign$1, pad$1, /* Lit_precision */{
                      0: 0,
                      length: 1,
                      tag: 0
                    });
        }
        else {
          return invalid_format_without(str_ind$1 - 1, /* "." */46, "precision");
        }
      }
      
    }
  };
  var parse_after_precision = function (pct_ind, str_ind, end_ind, minus, plus, sharp, space, ign, pad, prec) {
    if (str_ind === end_ind) {
      invalid_format_message(end_ind, "unexpected end of format");
    }
    var parse_conv = function (padprec) {
      return parse_conversion(pct_ind, str_ind + 1, end_ind, plus, sharp, space, ign, pad, prec, padprec, str.charCodeAt(str_ind));
    };
    if (typeof pad === "number") {
      var exit = 0;
      if (typeof prec === "number") {
        if (prec !== 0) {
          exit = 1;
        }
        else {
          return parse_conv(/* No_padding */0);
        }
      }
      else {
        exit = 1;
      }
      if (exit === 1) {
        if (minus !== 0) {
          if (typeof prec === "number") {
            return parse_conv(/* Arg_padding */{
                        0: /* Left */0,
                        length: 1,
                        tag: 1
                      });
          }
          else {
            return parse_conv(/* Lit_padding */{
                        0: /* Left */0,
                        1: prec[0],
                        length: 2,
                        tag: 0
                      });
          }
        }
        else if (typeof prec === "number") {
          return parse_conv(/* Arg_padding */{
                      0: /* Right */1,
                      length: 1,
                      tag: 1
                    });
        }
        else {
          return parse_conv(/* Lit_padding */{
                      0: /* Right */1,
                      1: prec[0],
                      length: 2,
                      tag: 0
                    });
        }
      }
      
    }
    else {
      return parse_conv(pad);
    }
  };
  var parse_conversion = function (pct_ind, str_ind, end_ind, plus, sharp, space, ign, pad, prec, padprec, symb) {
    var plus_used = /* false */0;
    var sharp_used = /* false */0;
    var space_used = /* false */0;
    var ign_used = [/* false */0];
    var pad_used = /* false */0;
    var prec_used = [/* false */0];
    var check_no_0 = function (symb, pad) {
      if (typeof pad === "number") {
        return pad;
      }
      else if (pad.tag) {
        if (pad[0] >= 2) {
          if (legacy_behavior$1) {
            return /* Arg_padding */{
                    0: /* Right */1,
                    length: 1,
                    tag: 1
                  };
          }
          else {
            return incompatible_flag(pct_ind, str_ind, symb, "0");
          }
        }
        else {
          return pad;
        }
      }
      else if (pad[0] >= 2) {
        if (legacy_behavior$1) {
          return /* Lit_padding */{
                  0: /* Right */1,
                  1: pad[1],
                  length: 2,
                  tag: 0
                };
        }
        else {
          return incompatible_flag(pct_ind, str_ind, symb, "0");
        }
      }
      else {
        return pad;
      }
    };
    var opt_of_pad = function (c, pad) {
      if (typeof pad === "number") {
        return /* None */0;
      }
      else if (pad.tag) {
        return incompatible_flag(pct_ind, str_ind, c, "'*'");
      }
      else {
        switch (pad[0]) {
          case 0 : 
              if (legacy_behavior$1) {
                return /* Some */[pad[1]];
              }
              else {
                return incompatible_flag(pct_ind, str_ind, c, "'-'");
              }
          case 1 : 
              return /* Some */[pad[1]];
          case 2 : 
              if (legacy_behavior$1) {
                return /* Some */[pad[1]];
              }
              else {
                return incompatible_flag(pct_ind, str_ind, c, "'0'");
              }
          
        }
      }
    };
    var get_prec_opt = function () {
      prec_used[0] = /* true */1;
      if (typeof prec === "number") {
        if (prec !== 0) {
          return incompatible_flag(pct_ind, str_ind, /* "_" */95, "'*'");
        }
        else {
          return /* None */0;
        }
      }
      else {
        return /* Some */[prec[0]];
      }
    };
    var fmt_result;
    var exit = 0;
    var exit$1 = 0;
    var exit$2 = 0;
    if (symb >= 124) {
      exit$1 = 6;
    }
    else {
      switch (symb) {
        case 33 : 
            var match = parse_literal(str_ind, str_ind, end_ind);
            fmt_result = /* Fmt_EBB */{
              0: /* Flush */{
                0: match[0],
                length: 1,
                tag: 10
              },
              length: 1,
              tag: 0
            };
            break;
        case 40 : 
            var sub_end = search_subformat_end(str_ind, end_ind, /* ")" */41);
            var beg_ind = sub_end + 2;
            var match$1 = parse_literal(beg_ind, beg_ind, end_ind);
            var fmt_rest = match$1[0];
            var match$2 = parse_literal(str_ind, str_ind, sub_end);
            var sub_fmtty = fmtty_of_fmt(match$2[0]);
            if (ign_used[0] = /* true */1, ign) {
              pad_used = /* true */1;
              var ignored_000 = opt_of_pad(/* "_" */95, pad);
              var ignored = /* Ignored_format_subst */{
                0: ignored_000,
                1: sub_fmtty,
                length: 2,
                tag: 8
              };
              fmt_result = /* Fmt_EBB */{
                0: /* Ignored_param */{
                  0: ignored,
                  1: fmt_rest,
                  length: 2,
                  tag: 23
                },
                length: 1,
                tag: 0
              };
            }
            else {
              pad_used = /* true */1;
              fmt_result = /* Fmt_EBB */{
                0: /* Format_subst */{
                  0: opt_of_pad(/* "(" */40, pad),
                  1: sub_fmtty,
                  2: fmt_rest,
                  length: 3,
                  tag: 14
                },
                length: 1,
                tag: 0
              };
            }
            break;
        case 44 : 
            fmt_result = parse_literal(str_ind, str_ind, end_ind);
            break;
        case 37 : 
        case 64 : 
            exit$1 = 4;
            break;
        case 67 : 
            var match$3 = parse_literal(str_ind, str_ind, end_ind);
            var fmt_rest$1 = match$3[0];
            fmt_result = (ign_used[0] = /* true */1, ign) ? /* Fmt_EBB */{
                0: /* Ignored_param */{
                  0: /* Ignored_caml_char */1,
                  1: fmt_rest$1,
                  length: 2,
                  tag: 23
                },
                length: 1,
                tag: 0
              } : /* Fmt_EBB */{
                0: /* Caml_char */{
                  0: fmt_rest$1,
                  length: 1,
                  tag: 1
                },
                length: 1,
                tag: 0
              };
            break;
        case 78 : 
            var match$4 = parse_literal(str_ind, str_ind, end_ind);
            var fmt_rest$2 = match$4[0];
            var counter = /* Token_counter */2;
            if (ign_used[0] = /* true */1, ign) {
              var ignored$1 = /* Ignored_scan_get_counter */{
                0: counter,
                length: 1,
                tag: 10
              };
              fmt_result = /* Fmt_EBB */{
                0: /* Ignored_param */{
                  0: ignored$1,
                  1: fmt_rest$2,
                  length: 2,
                  tag: 23
                },
                length: 1,
                tag: 0
              };
            }
            else {
              fmt_result = /* Fmt_EBB */{
                0: /* Scan_get_counter */{
                  0: counter,
                  1: fmt_rest$2,
                  length: 2,
                  tag: 21
                },
                length: 1,
                tag: 0
              };
            }
            break;
        case 83 : 
            pad_used = /* true */1;
            var pad$1 = check_no_0(symb, padprec);
            var match$5 = parse_literal(str_ind, str_ind, end_ind);
            var fmt_rest$3 = match$5[0];
            if (ign_used[0] = /* true */1, ign) {
              pad_used = /* true */1;
              var ignored$2 = /* Ignored_caml_string */{
                0: opt_of_pad(/* "_" */95, padprec),
                length: 1,
                tag: 1
              };
              fmt_result = /* Fmt_EBB */{
                0: /* Ignored_param */{
                  0: ignored$2,
                  1: fmt_rest$3,
                  length: 2,
                  tag: 23
                },
                length: 1,
                tag: 0
              };
            }
            else {
              var match$6 = make_padding_fmt_ebb(pad$1, fmt_rest$3);
              fmt_result = /* Fmt_EBB */{
                0: /* Caml_string */{
                  0: match$6[0],
                  1: match$6[1],
                  length: 2,
                  tag: 3
                },
                length: 1,
                tag: 0
              };
            }
            break;
        case 91 : 
            var match$7 = parse_char_set(str_ind, end_ind);
            var char_set = match$7[1];
            var next_ind = match$7[0];
            var match$8 = parse_literal(next_ind, next_ind, end_ind);
            var fmt_rest$4 = match$8[0];
            if (ign_used[0] = /* true */1, ign) {
              pad_used = /* true */1;
              var ignored_000$1 = opt_of_pad(/* "_" */95, pad);
              var ignored$3 = /* Ignored_scan_char_set */{
                0: ignored_000$1,
                1: char_set,
                length: 2,
                tag: 9
              };
              fmt_result = /* Fmt_EBB */{
                0: /* Ignored_param */{
                  0: ignored$3,
                  1: fmt_rest$4,
                  length: 2,
                  tag: 23
                },
                length: 1,
                tag: 0
              };
            }
            else {
              pad_used = /* true */1;
              fmt_result = /* Fmt_EBB */{
                0: /* Scan_char_set */{
                  0: opt_of_pad(/* "[" */91, pad),
                  1: char_set,
                  2: fmt_rest$4,
                  length: 3,
                  tag: 20
                },
                length: 1,
                tag: 0
              };
            }
            break;
        case 32 : 
        case 35 : 
        case 43 : 
        case 45 : 
        case 95 : 
            exit$1 = 5;
            break;
        case 97 : 
            var match$9 = parse_literal(str_ind, str_ind, end_ind);
            fmt_result = /* Fmt_EBB */{
              0: /* Alpha */{
                0: match$9[0],
                length: 1,
                tag: 15
              },
              length: 1,
              tag: 0
            };
            break;
        case 66 : 
        case 98 : 
            exit$1 = 3;
            break;
        case 99 : 
            var char_format = function (fmt_rest) {
              if (ign_used[0] = /* true */1, ign) {
                return /* Fmt_EBB */{
                        0: /* Ignored_param */{
                          0: /* Ignored_char */0,
                          1: fmt_rest,
                          length: 2,
                          tag: 23
                        },
                        length: 1,
                        tag: 0
                      };
              }
              else {
                return /* Fmt_EBB */{
                        0: /* Char */{
                          0: fmt_rest,
                          length: 1,
                          tag: 0
                        },
                        length: 1,
                        tag: 0
                      };
              }
            };
            var scan_format = function (fmt_rest) {
              if (ign_used[0] = /* true */1, ign) {
                return /* Fmt_EBB */{
                        0: /* Ignored_param */{
                          0: /* Ignored_scan_next_char */4,
                          1: fmt_rest,
                          length: 2,
                          tag: 23
                        },
                        length: 1,
                        tag: 0
                      };
              }
              else {
                return /* Fmt_EBB */{
                        0: /* Scan_next_char */{
                          0: fmt_rest,
                          length: 1,
                          tag: 22
                        },
                        length: 1,
                        tag: 0
                      };
              }
            };
            var match$10 = parse_literal(str_ind, str_ind, end_ind);
            var fmt_rest$5 = match$10[0];
            pad_used = /* true */1;
            var match$11 = opt_of_pad(/* "c" */99, pad);
            fmt_result = match$11 ? (
                match$11[0] !== 0 ? (
                    legacy_behavior$1 ? char_format(fmt_rest$5) : invalid_format_message(str_ind, "non-zero widths are unsupported for %c conversions")
                  ) : scan_format(fmt_rest$5)
              ) : char_format(fmt_rest$5);
            break;
        case 69 : 
        case 70 : 
        case 71 : 
        case 101 : 
        case 102 : 
        case 103 : 
            exit$1 = 2;
            break;
        case 76 : 
        case 108 : 
        case 110 : 
            exit$2 = 8;
            break;
        case 114 : 
            var match$12 = parse_literal(str_ind, str_ind, end_ind);
            var fmt_rest$6 = match$12[0];
            fmt_result = (ign_used[0] = /* true */1, ign) ? /* Fmt_EBB */{
                0: /* Ignored_param */{
                  0: /* Ignored_reader */3,
                  1: fmt_rest$6,
                  length: 2,
                  tag: 23
                },
                length: 1,
                tag: 0
              } : /* Fmt_EBB */{
                0: /* Reader */{
                  0: fmt_rest$6,
                  length: 1,
                  tag: 19
                },
                length: 1,
                tag: 0
              };
            break;
        case 115 : 
            pad_used = /* true */1;
            var pad$2 = check_no_0(symb, padprec);
            var match$13 = parse_literal(str_ind, str_ind, end_ind);
            var fmt_rest$7 = match$13[0];
            if (ign_used[0] = /* true */1, ign) {
              pad_used = /* true */1;
              var ignored$4 = /* Ignored_string */{
                0: opt_of_pad(/* "_" */95, padprec),
                length: 1,
                tag: 0
              };
              fmt_result = /* Fmt_EBB */{
                0: /* Ignored_param */{
                  0: ignored$4,
                  1: fmt_rest$7,
                  length: 2,
                  tag: 23
                },
                length: 1,
                tag: 0
              };
            }
            else {
              var match$14 = make_padding_fmt_ebb(pad$2, fmt_rest$7);
              fmt_result = /* Fmt_EBB */{
                0: /* String */{
                  0: match$14[0],
                  1: match$14[1],
                  length: 2,
                  tag: 2
                },
                length: 1,
                tag: 0
              };
            }
            break;
        case 116 : 
            var match$15 = parse_literal(str_ind, str_ind, end_ind);
            fmt_result = /* Fmt_EBB */{
              0: /* Theta */{
                0: match$15[0],
                length: 1,
                tag: 16
              },
              length: 1,
              tag: 0
            };
            break;
        case 88 : 
        case 100 : 
        case 105 : 
        case 111 : 
        case 117 : 
        case 120 : 
            exit$2 = 7;
            break;
        case 0 : 
        case 1 : 
        case 2 : 
        case 3 : 
        case 4 : 
        case 5 : 
        case 6 : 
        case 7 : 
        case 8 : 
        case 9 : 
        case 10 : 
        case 11 : 
        case 12 : 
        case 13 : 
        case 14 : 
        case 15 : 
        case 16 : 
        case 17 : 
        case 18 : 
        case 19 : 
        case 20 : 
        case 21 : 
        case 22 : 
        case 23 : 
        case 24 : 
        case 25 : 
        case 26 : 
        case 27 : 
        case 28 : 
        case 29 : 
        case 30 : 
        case 31 : 
        case 34 : 
        case 36 : 
        case 38 : 
        case 39 : 
        case 41 : 
        case 42 : 
        case 46 : 
        case 47 : 
        case 48 : 
        case 49 : 
        case 50 : 
        case 51 : 
        case 52 : 
        case 53 : 
        case 54 : 
        case 55 : 
        case 56 : 
        case 57 : 
        case 58 : 
        case 59 : 
        case 60 : 
        case 61 : 
        case 62 : 
        case 63 : 
        case 65 : 
        case 68 : 
        case 72 : 
        case 73 : 
        case 74 : 
        case 75 : 
        case 77 : 
        case 79 : 
        case 80 : 
        case 81 : 
        case 82 : 
        case 84 : 
        case 85 : 
        case 86 : 
        case 87 : 
        case 89 : 
        case 90 : 
        case 92 : 
        case 93 : 
        case 94 : 
        case 96 : 
        case 104 : 
        case 106 : 
        case 107 : 
        case 109 : 
        case 112 : 
        case 113 : 
        case 118 : 
        case 119 : 
        case 121 : 
        case 122 : 
            exit$1 = 6;
            break;
        case 123 : 
            var sub_end$1 = search_subformat_end(str_ind, end_ind, /* "}" */125);
            var match$16 = parse_literal(str_ind, str_ind, sub_end$1);
            var beg_ind$1 = sub_end$1 + 2;
            var match$17 = parse_literal(beg_ind$1, beg_ind$1, end_ind);
            var fmt_rest$8 = match$17[0];
            var sub_fmtty$1 = fmtty_of_fmt(match$16[0]);
            if (ign_used[0] = /* true */1, ign) {
              pad_used = /* true */1;
              var ignored_000$2 = opt_of_pad(/* "_" */95, pad);
              var ignored$5 = /* Ignored_format_arg */{
                0: ignored_000$2,
                1: sub_fmtty$1,
                length: 2,
                tag: 7
              };
              fmt_result = /* Fmt_EBB */{
                0: /* Ignored_param */{
                  0: ignored$5,
                  1: fmt_rest$8,
                  length: 2,
                  tag: 23
                },
                length: 1,
                tag: 0
              };
            }
            else {
              pad_used = /* true */1;
              fmt_result = /* Fmt_EBB */{
                0: /* Format_arg */{
                  0: opt_of_pad(/* "{" */123, pad),
                  1: sub_fmtty$1,
                  2: fmt_rest$8,
                  length: 3,
                  tag: 13
                },
                length: 1,
                tag: 0
              };
            }
            break;
        
      }
    }
    switch (exit$2) {
      case 7 : 
          plus_used = /* true */1;
          sharp_used = /* true */1;
          space_used = /* true */1;
          var iconv = compute_int_conv(pct_ind, str_ind, plus, sharp, space, symb);
          var match$18 = parse_literal(str_ind, str_ind, end_ind);
          var fmt_rest$9 = match$18[0];
          if (ign_used[0] = /* true */1, ign) {
            pad_used = /* true */1;
            var ignored_001 = opt_of_pad(/* "_" */95, pad);
            var ignored$6 = /* Ignored_int */{
              0: iconv,
              1: ignored_001,
              length: 2,
              tag: 2
            };
            fmt_result = /* Fmt_EBB */{
              0: /* Ignored_param */{
                0: ignored$6,
                1: fmt_rest$9,
                length: 2,
                tag: 23
              },
              length: 1,
              tag: 0
            };
          }
          else {
            pad_used = /* true */1;
            prec_used[0] = /* true */1;
            var pad$3;
            var exit$3 = 0;
            if (typeof prec === "number" && prec === 0) {
              pad$3 = pad;
            }
            else {
              exit$3 = 9;
            }
            if (exit$3 === 9) {
              pad$3 = typeof pad === "number" ? /* No_padding */0 : (
                  pad.tag ? (
                      pad[0] >= 2 ? (
                          legacy_behavior$1 ? /* Arg_padding */{
                              0: /* Right */1,
                              length: 1,
                              tag: 1
                            } : incompatible_flag(pct_ind, str_ind, /* "0" */48, "precision")
                        ) : pad
                    ) : (
                      pad[0] >= 2 ? (
                          legacy_behavior$1 ? /* Lit_padding */{
                              0: /* Right */1,
                              1: pad[1],
                              length: 2,
                              tag: 0
                            } : incompatible_flag(pct_ind, str_ind, /* "0" */48, "precision")
                        ) : pad
                    )
                );
            }
            var match$19 = make_padprec_fmt_ebb(pad$3, (prec_used[0] = /* true */1, prec), fmt_rest$9);
            fmt_result = /* Fmt_EBB */{
              0: /* Int */{
                0: iconv,
                1: match$19[0],
                2: match$19[1],
                3: match$19[2],
                length: 4,
                tag: 4
              },
              length: 1,
              tag: 0
            };
          }
          break;
      case 8 : 
          if (str_ind === end_ind || !is_int_base(str.charCodeAt(str_ind))) {
            var match$20 = parse_literal(str_ind, str_ind, end_ind);
            var fmt_rest$10 = match$20[0];
            var counter$1 = counter_of_char(symb);
            if (ign_used[0] = /* true */1, ign) {
              var ignored$7 = /* Ignored_scan_get_counter */{
                0: counter$1,
                length: 1,
                tag: 10
              };
              fmt_result = /* Fmt_EBB */{
                0: /* Ignored_param */{
                  0: ignored$7,
                  1: fmt_rest$10,
                  length: 2,
                  tag: 23
                },
                length: 1,
                tag: 0
              };
            }
            else {
              fmt_result = /* Fmt_EBB */{
                0: /* Scan_get_counter */{
                  0: counter$1,
                  1: fmt_rest$10,
                  length: 2,
                  tag: 21
                },
                length: 1,
                tag: 0
              };
            }
          }
          else {
            exit$1 = 6;
          }
          break;
      
    }
    switch (exit$1) {
      case 2 : 
          plus_used = /* true */1;
          space_used = /* true */1;
          var fconv = compute_float_conv(pct_ind, str_ind, plus, space, symb);
          var match$21 = parse_literal(str_ind, str_ind, end_ind);
          var fmt_rest$11 = match$21[0];
          if (ign_used[0] = /* true */1, ign) {
            pad_used = /* true */1;
            var ignored_000$3 = opt_of_pad(/* "_" */95, pad);
            var ignored_001$1 = get_prec_opt(/* () */0);
            var ignored$8 = /* Ignored_float */{
              0: ignored_000$3,
              1: ignored_001$1,
              length: 2,
              tag: 6
            };
            fmt_result = /* Fmt_EBB */{
              0: /* Ignored_param */{
                0: ignored$8,
                1: fmt_rest$11,
                length: 2,
                tag: 23
              },
              length: 1,
              tag: 0
            };
          }
          else {
            pad_used = /* true */1;
            var match$22 = make_padprec_fmt_ebb(pad, (prec_used[0] = /* true */1, prec), fmt_rest$11);
            fmt_result = /* Fmt_EBB */{
              0: /* Float */{
                0: fconv,
                1: match$22[0],
                2: match$22[1],
                3: match$22[2],
                length: 4,
                tag: 8
              },
              length: 1,
              tag: 0
            };
          }
          break;
      case 3 : 
          var match$23 = parse_literal(str_ind, str_ind, end_ind);
          var fmt_rest$12 = match$23[0];
          fmt_result = (ign_used[0] = /* true */1, ign) ? /* Fmt_EBB */{
              0: /* Ignored_param */{
                0: /* Ignored_bool */2,
                1: fmt_rest$12,
                length: 2,
                tag: 23
              },
              length: 1,
              tag: 0
            } : /* Fmt_EBB */{
              0: /* Bool */{
                0: fmt_rest$12,
                length: 1,
                tag: 9
              },
              length: 1,
              tag: 0
            };
          break;
      case 4 : 
          var match$24 = parse_literal(str_ind, str_ind, end_ind);
          fmt_result = /* Fmt_EBB */{
            0: /* Char_literal */{
              0: symb,
              1: match$24[0],
              length: 2,
              tag: 12
            },
            length: 1,
            tag: 0
          };
          break;
      case 5 : 
          fmt_result = Caml_curry.app3(failwith_message(/* Format */{
                    0: /* String_literal */{
                      0: "invalid format ",
                      1: /* Caml_string */{
                        0: /* No_padding */0,
                        1: /* String_literal */{
                          0: ": at character number ",
                          1: /* Int */{
                            0: /* Int_d */0,
                            1: /* No_padding */0,
                            2: /* No_precision */0,
                            3: /* String_literal */{
                              0: ", flag ",
                              1: /* Caml_char */{
                                0: /* String_literal */{
                                  0: " is only allowed after the '",
                                  1: /* Char_literal */{
                                    0: /* "%" */37,
                                    1: /* String_literal */{
                                      0: "', before padding and precision",
                                      1: /* End_of_format */0,
                                      length: 2,
                                      tag: 11
                                    },
                                    length: 2,
                                    tag: 12
                                  },
                                  length: 2,
                                  tag: 11
                                },
                                length: 1,
                                tag: 1
                              },
                              length: 2,
                              tag: 11
                            },
                            length: 4,
                            tag: 4
                          },
                          length: 2,
                          tag: 11
                        },
                        length: 2,
                        tag: 3
                      },
                      length: 2,
                      tag: 11
                    },
                    1: "invalid format %S: at character number %d, flag %C is only allowed after the '%%', before padding and precision",
                    length: 2,
                    tag: 0
                  }), str, pct_ind, symb);
          break;
      case 6 : 
          if (symb >= 108) {
            if (symb >= 111) {
              exit = 1;
            }
            else {
              switch (symb - 108) {
                case 0 : 
                    plus_used = /* true */1;
                    sharp_used = /* true */1;
                    space_used = /* true */1;
                    var iconv$1 = compute_int_conv(pct_ind, str_ind + 1, plus, sharp, space, str.charCodeAt(str_ind));
                    var beg_ind$2 = str_ind + 1;
                    var match$25 = parse_literal(beg_ind$2, beg_ind$2, end_ind);
                    var fmt_rest$13 = match$25[0];
                    if (ign_used[0] = /* true */1, ign) {
                      pad_used = /* true */1;
                      var ignored_001$2 = opt_of_pad(/* "_" */95, pad);
                      var ignored$9 = /* Ignored_int32 */{
                        0: iconv$1,
                        1: ignored_001$2,
                        length: 2,
                        tag: 3
                      };
                      fmt_result = /* Fmt_EBB */{
                        0: /* Ignored_param */{
                          0: ignored$9,
                          1: fmt_rest$13,
                          length: 2,
                          tag: 23
                        },
                        length: 1,
                        tag: 0
                      };
                    }
                    else {
                      pad_used = /* true */1;
                      var match$26 = make_padprec_fmt_ebb(pad, (prec_used[0] = /* true */1, prec), fmt_rest$13);
                      fmt_result = /* Fmt_EBB */{
                        0: /* Int32 */{
                          0: iconv$1,
                          1: match$26[0],
                          2: match$26[1],
                          3: match$26[2],
                          length: 4,
                          tag: 5
                        },
                        length: 1,
                        tag: 0
                      };
                    }
                    break;
                case 1 : 
                    exit = 1;
                    break;
                case 2 : 
                    plus_used = /* true */1;
                    sharp_used = /* true */1;
                    space_used = /* true */1;
                    var iconv$2 = compute_int_conv(pct_ind, str_ind + 1, plus, sharp, space, str.charCodeAt(str_ind));
                    var beg_ind$3 = str_ind + 1;
                    var match$27 = parse_literal(beg_ind$3, beg_ind$3, end_ind);
                    var fmt_rest$14 = match$27[0];
                    if (ign_used[0] = /* true */1, ign) {
                      pad_used = /* true */1;
                      var ignored_001$3 = opt_of_pad(/* "_" */95, pad);
                      var ignored$10 = /* Ignored_nativeint */{
                        0: iconv$2,
                        1: ignored_001$3,
                        length: 2,
                        tag: 4
                      };
                      fmt_result = /* Fmt_EBB */{
                        0: /* Ignored_param */{
                          0: ignored$10,
                          1: fmt_rest$14,
                          length: 2,
                          tag: 23
                        },
                        length: 1,
                        tag: 0
                      };
                    }
                    else {
                      pad_used = /* true */1;
                      var match$28 = make_padprec_fmt_ebb(pad, (prec_used[0] = /* true */1, prec), fmt_rest$14);
                      fmt_result = /* Fmt_EBB */{
                        0: /* Nativeint */{
                          0: iconv$2,
                          1: match$28[0],
                          2: match$28[1],
                          3: match$28[2],
                          length: 4,
                          tag: 6
                        },
                        length: 1,
                        tag: 0
                      };
                    }
                    break;
                
              }
            }
          }
          else if (symb !== 76) {
            exit = 1;
          }
          else {
            plus_used = /* true */1;
            sharp_used = /* true */1;
            space_used = /* true */1;
            var iconv$3 = compute_int_conv(pct_ind, str_ind + 1, plus, sharp, space, str.charCodeAt(str_ind));
            var beg_ind$4 = str_ind + 1;
            var match$29 = parse_literal(beg_ind$4, beg_ind$4, end_ind);
            var fmt_rest$15 = match$29[0];
            if (ign_used[0] = /* true */1, ign) {
              pad_used = /* true */1;
              var ignored_001$4 = opt_of_pad(/* "_" */95, pad);
              var ignored$11 = /* Ignored_int64 */{
                0: iconv$3,
                1: ignored_001$4,
                length: 2,
                tag: 5
              };
              fmt_result = /* Fmt_EBB */{
                0: /* Ignored_param */{
                  0: ignored$11,
                  1: fmt_rest$15,
                  length: 2,
                  tag: 23
                },
                length: 1,
                tag: 0
              };
            }
            else {
              pad_used = /* true */1;
              var match$30 = make_padprec_fmt_ebb(pad, (prec_used[0] = /* true */1, prec), fmt_rest$15);
              fmt_result = /* Fmt_EBB */{
                0: /* Int64 */{
                  0: iconv$3,
                  1: match$30[0],
                  2: match$30[1],
                  3: match$30[2],
                  length: 4,
                  tag: 7
                },
                length: 1,
                tag: 0
              };
            }
          }
          break;
      
    }
    if (exit === 1) {
      fmt_result = Caml_curry.app3(failwith_message(/* Format */{
                0: /* String_literal */{
                  0: "invalid format ",
                  1: /* Caml_string */{
                    0: /* No_padding */0,
                    1: /* String_literal */{
                      0: ": at character number ",
                      1: /* Int */{
                        0: /* Int_d */0,
                        1: /* No_padding */0,
                        2: /* No_precision */0,
                        3: /* String_literal */{
                          0: ', invalid conversion "',
                          1: /* Char_literal */{
                            0: /* "%" */37,
                            1: /* Char */{
                              0: /* Char_literal */{
                                0: /* "\"" */34,
                                1: /* End_of_format */0,
                                length: 2,
                                tag: 12
                              },
                              length: 1,
                              tag: 0
                            },
                            length: 2,
                            tag: 12
                          },
                          length: 2,
                          tag: 11
                        },
                        length: 4,
                        tag: 4
                      },
                      length: 2,
                      tag: 11
                    },
                    length: 2,
                    tag: 3
                  },
                  length: 2,
                  tag: 11
                },
                1: 'invalid format %S: at character number %d, invalid conversion "%%%c"',
                length: 2,
                tag: 0
              }), str, str_ind - 1, symb);
    }
    if (!legacy_behavior$1) {
      if (!plus_used && plus) {
        incompatible_flag(pct_ind, str_ind, symb, "'+'");
      }
      if (!sharp_used && sharp) {
        incompatible_flag(pct_ind, str_ind, symb, "'#'");
      }
      if (!space_used && space) {
        incompatible_flag(pct_ind, str_ind, symb, "' '");
      }
      if (!pad_used && Caml_obj.caml_notequal(/* Padding_EBB */{
              0: pad,
              length: 1,
              tag: 0
            }, /* Padding_EBB */{
              0: /* No_padding */0,
              length: 1,
              tag: 0
            })) {
        incompatible_flag(pct_ind, str_ind, symb, "`padding'");
      }
      if (!prec_used[0] && Caml_obj.caml_notequal(/* Precision_EBB */{
              0: prec,
              length: 1,
              tag: 0
            }, /* Precision_EBB */{
              0: /* No_precision */0,
              length: 1,
              tag: 0
            })) {
        incompatible_flag(pct_ind, str_ind, ign ? /* "_" */95 : symb, "`precision'");
      }
      if (ign && plus) {
        incompatible_flag(pct_ind, str_ind, /* "_" */95, "'+'");
      }
      
    }
    if (!ign_used[0] && ign) {
      var exit$4 = 0;
      if (symb >= 38) {
        if (symb !== 44) {
          if (symb !== 64) {
            exit$4 = 1;
          }
          else if (!legacy_behavior$1) {
            exit$4 = 1;
          }
          
        }
        else if (!legacy_behavior$1) {
          exit$4 = 1;
        }
        
      }
      else if (symb !== 33) {
        if (symb >= 37) {
          if (!legacy_behavior$1) {
            exit$4 = 1;
          }
          
        }
        else {
          exit$4 = 1;
        }
      }
      else if (!legacy_behavior$1) {
        exit$4 = 1;
      }
      if (exit$4 === 1) {
        incompatible_flag(pct_ind, str_ind, symb, "'_'");
      }
      
    }
    return fmt_result;
  };
  var parse_after_at = function (str_ind, end_ind) {
    if (str_ind === end_ind) {
      return /* Fmt_EBB */{
              0: /* Char_literal */{
                0: /* "@" */64,
                1: /* End_of_format */0,
                length: 2,
                tag: 12
              },
              length: 1,
              tag: 0
            };
    }
    else {
      var c = str.charCodeAt(str_ind);
      var exit = 0;
      if (c >= 65) {
        if (c >= 94) {
          var switcher = c - 123;
          if (switcher > 2 || switcher < 0) {
            exit = 1;
          }
          else {
            switch (switcher) {
              case 0 : 
                  return parse_tag(/* true */1, str_ind + 1, end_ind);
              case 1 : 
                  exit = 1;
                  break;
              case 2 : 
                  var beg_ind = str_ind + 1;
                  var match = parse_literal(beg_ind, beg_ind, end_ind);
                  return /* Fmt_EBB */{
                          0: /* Formatting_lit */{
                            0: /* Close_tag */1,
                            1: match[0],
                            length: 2,
                            tag: 17
                          },
                          length: 1,
                          tag: 0
                        };
              
            }
          }
        }
        else if (c >= 91) {
          switch (c - 91) {
            case 0 : 
                return parse_tag(/* false */0, str_ind + 1, end_ind);
            case 1 : 
                exit = 1;
                break;
            case 2 : 
                var beg_ind$1 = str_ind + 1;
                var match$1 = parse_literal(beg_ind$1, beg_ind$1, end_ind);
                return /* Fmt_EBB */{
                        0: /* Formatting_lit */{
                          0: /* Close_box */0,
                          1: match$1[0],
                          length: 2,
                          tag: 17
                        },
                        length: 1,
                        tag: 0
                      };
            
          }
        }
        else {
          exit = 1;
        }
      }
      else if (c !== 10) {
        if (c >= 32) {
          switch (c - 32) {
            case 0 : 
                var beg_ind$2 = str_ind + 1;
                var match$2 = parse_literal(beg_ind$2, beg_ind$2, end_ind);
                return /* Fmt_EBB */{
                        0: /* Formatting_lit */{
                          0: /* Break */{
                            0: "@ ",
                            1: 1,
                            2: 0,
                            length: 3,
                            tag: 0
                          },
                          1: match$2[0],
                          length: 2,
                          tag: 17
                        },
                        length: 1,
                        tag: 0
                      };
            case 5 : 
                if (str_ind + 1 < end_ind && str[str_ind + 1] === "%") {
                  var beg_ind$3 = str_ind + 2;
                  var match$3 = parse_literal(beg_ind$3, beg_ind$3, end_ind);
                  return /* Fmt_EBB */{
                          0: /* Formatting_lit */{
                            0: /* Escaped_percent */6,
                            1: match$3[0],
                            length: 2,
                            tag: 17
                          },
                          length: 1,
                          tag: 0
                        };
                }
                else {
                  var match$4 = parse_literal(str_ind, str_ind, end_ind);
                  return /* Fmt_EBB */{
                          0: /* Char_literal */{
                            0: /* "@" */64,
                            1: match$4[0],
                            length: 2,
                            tag: 12
                          },
                          length: 1,
                          tag: 0
                        };
                }
                break;
            case 12 : 
                var beg_ind$4 = str_ind + 1;
                var match$5 = parse_literal(beg_ind$4, beg_ind$4, end_ind);
                return /* Fmt_EBB */{
                        0: /* Formatting_lit */{
                          0: /* Break */{
                            0: "@,",
                            1: 0,
                            2: 0,
                            length: 3,
                            tag: 0
                          },
                          1: match$5[0],
                          length: 2,
                          tag: 17
                        },
                        length: 1,
                        tag: 0
                      };
            case 14 : 
                var beg_ind$5 = str_ind + 1;
                var match$6 = parse_literal(beg_ind$5, beg_ind$5, end_ind);
                return /* Fmt_EBB */{
                        0: /* Formatting_lit */{
                          0: /* Flush_newline */4,
                          1: match$6[0],
                          length: 2,
                          tag: 17
                        },
                        length: 1,
                        tag: 0
                      };
            case 27 : 
                var str_ind$1 = str_ind + 1;
                var end_ind$1 = end_ind;
                var match$7;
                try {
                  if (str_ind$1 === end_ind$1 || str.charCodeAt(str_ind$1) !== /* "<" */60) {
                    throw Caml_builtin_exceptions.not_found;
                  }
                  var str_ind_1 = parse_spaces(str_ind$1 + 1, end_ind$1);
                  var match$8 = str.charCodeAt(str_ind_1);
                  var exit$1 = 0;
                  if (match$8 >= 48) {
                    if (match$8 >= 58) {
                      throw Caml_builtin_exceptions.not_found;
                    }
                    else {
                      exit$1 = 1;
                    }
                  }
                  else if (match$8 !== 45) {
                    throw Caml_builtin_exceptions.not_found;
                  }
                  else {
                    exit$1 = 1;
                  }
                  if (exit$1 === 1) {
                    var match$9 = parse_integer(str_ind_1, end_ind$1);
                    var width = match$9[1];
                    var str_ind_3 = parse_spaces(match$9[0], end_ind$1);
                    var match$10 = str.charCodeAt(str_ind_3);
                    var switcher$1 = match$10 - 45;
                    if (switcher$1 > 12 || switcher$1 < 0) {
                      if (switcher$1 !== 17) {
                        throw Caml_builtin_exceptions.not_found;
                      }
                      else {
                        var s = $$String.sub(str, str_ind$1 - 2, str_ind_3 - str_ind$1 + 3);
                        match$7 = /* tuple */[
                          str_ind_3 + 1,
                          /* Break */{
                            0: s,
                            1: width,
                            2: 0,
                            length: 3,
                            tag: 0
                          }
                        ];
                      }
                    }
                    else if (switcher$1 === 2 || switcher$1 === 1) {
                      throw Caml_builtin_exceptions.not_found;
                    }
                    else {
                      var match$11 = parse_integer(str_ind_3, end_ind$1);
                      var str_ind_5 = parse_spaces(match$11[0], end_ind$1);
                      if (str.charCodeAt(str_ind_5) !== /* ">" */62) {
                        throw Caml_builtin_exceptions.not_found;
                      }
                      var s$1 = $$String.sub(str, str_ind$1 - 2, str_ind_5 - str_ind$1 + 3);
                      match$7 = /* tuple */[
                        str_ind_5 + 1,
                        /* Break */{
                          0: s$1,
                          1: width,
                          2: match$11[1],
                          length: 3,
                          tag: 0
                        }
                      ];
                    }
                  }
                  
                }
                catch (exn){
                  if (exn === Caml_builtin_exceptions.not_found) {
                    match$7 = /* tuple */[
                      str_ind$1,
                      /* Break */{
                        0: "@;",
                        1: 1,
                        2: 0,
                        length: 3,
                        tag: 0
                      }
                    ];
                  }
                  else if (exn[0] === Caml_builtin_exceptions.failure) {
                    match$7 = /* tuple */[
                      str_ind$1,
                      /* Break */{
                        0: "@;",
                        1: 1,
                        2: 0,
                        length: 3,
                        tag: 0
                      }
                    ];
                  }
                  else {
                    throw exn;
                  }
                }
                var next_ind = match$7[0];
                var match$12 = parse_literal(next_ind, next_ind, end_ind$1);
                return /* Fmt_EBB */{
                        0: /* Formatting_lit */{
                          0: match$7[1],
                          1: match$12[0],
                          length: 2,
                          tag: 17
                        },
                        length: 1,
                        tag: 0
                      };
            case 28 : 
                var str_ind$2 = str_ind + 1;
                var end_ind$2 = end_ind;
                var match$13;
                try {
                  var str_ind_1$1 = parse_spaces(str_ind$2, end_ind$2);
                  var match$14 = str.charCodeAt(str_ind_1$1);
                  var exit$2 = 0;
                  if (match$14 >= 48) {
                    if (match$14 >= 58) {
                      match$13 = /* None */0;
                    }
                    else {
                      exit$2 = 1;
                    }
                  }
                  else if (match$14 !== 45) {
                    match$13 = /* None */0;
                  }
                  else {
                    exit$2 = 1;
                  }
                  if (exit$2 === 1) {
                    var match$15 = parse_integer(str_ind_1$1, end_ind$2);
                    var str_ind_3$1 = parse_spaces(match$15[0], end_ind$2);
                    if (str.charCodeAt(str_ind_3$1) !== /* ">" */62) {
                      throw Caml_builtin_exceptions.not_found;
                    }
                    var s$2 = $$String.sub(str, str_ind$2 - 2, str_ind_3$1 - str_ind$2 + 3);
                    match$13 = /* Some */[/* tuple */[
                        str_ind_3$1 + 1,
                        /* Magic_size */{
                          0: s$2,
                          1: match$15[1],
                          length: 2,
                          tag: 1
                        }
                      ]];
                  }
                  
                }
                catch (exn$1){
                  if (exn$1 === Caml_builtin_exceptions.not_found) {
                    match$13 = /* None */0;
                  }
                  else if (exn$1[0] === Caml_builtin_exceptions.failure) {
                    match$13 = /* None */0;
                  }
                  else {
                    throw exn$1;
                  }
                }
                if (match$13) {
                  var match$16 = match$13[0];
                  var next_ind$1 = match$16[0];
                  var match$17 = parse_literal(next_ind$1, next_ind$1, end_ind$2);
                  return /* Fmt_EBB */{
                          0: /* Formatting_lit */{
                            0: match$16[1],
                            1: match$17[0],
                            length: 2,
                            tag: 17
                          },
                          length: 1,
                          tag: 0
                        };
                }
                else {
                  var match$18 = parse_literal(str_ind$2, str_ind$2, end_ind$2);
                  return /* Fmt_EBB */{
                          0: /* Formatting_lit */{
                            0: /* Scan_indic */{
                              0: /* "<" */60,
                              length: 1,
                              tag: 2
                            },
                            1: match$18[0],
                            length: 2,
                            tag: 17
                          },
                          length: 1,
                          tag: 0
                        };
                }
            case 1 : 
            case 2 : 
            case 3 : 
            case 4 : 
            case 6 : 
            case 7 : 
            case 8 : 
            case 9 : 
            case 10 : 
            case 11 : 
            case 13 : 
            case 15 : 
            case 16 : 
            case 17 : 
            case 18 : 
            case 19 : 
            case 20 : 
            case 21 : 
            case 22 : 
            case 23 : 
            case 24 : 
            case 25 : 
            case 26 : 
            case 29 : 
            case 30 : 
                exit = 1;
                break;
            case 31 : 
                var beg_ind$6 = str_ind + 1;
                var match$19 = parse_literal(beg_ind$6, beg_ind$6, end_ind);
                return /* Fmt_EBB */{
                        0: /* Formatting_lit */{
                          0: /* FFlush */2,
                          1: match$19[0],
                          length: 2,
                          tag: 17
                        },
                        length: 1,
                        tag: 0
                      };
            case 32 : 
                var beg_ind$7 = str_ind + 1;
                var match$20 = parse_literal(beg_ind$7, beg_ind$7, end_ind);
                return /* Fmt_EBB */{
                        0: /* Formatting_lit */{
                          0: /* Escaped_at */5,
                          1: match$20[0],
                          length: 2,
                          tag: 17
                        },
                        length: 1,
                        tag: 0
                      };
            
          }
        }
        else {
          exit = 1;
        }
      }
      else {
        var beg_ind$8 = str_ind + 1;
        var match$21 = parse_literal(beg_ind$8, beg_ind$8, end_ind);
        return /* Fmt_EBB */{
                0: /* Formatting_lit */{
                  0: /* Force_newline */3,
                  1: match$21[0],
                  length: 2,
                  tag: 17
                },
                length: 1,
                tag: 0
              };
      }
      if (exit === 1) {
        var beg_ind$9 = str_ind + 1;
        var match$22 = parse_literal(beg_ind$9, beg_ind$9, end_ind);
        return /* Fmt_EBB */{
                0: /* Formatting_lit */{
                  0: /* Scan_indic */{
                    0: c,
                    length: 1,
                    tag: 2
                  },
                  1: match$22[0],
                  length: 2,
                  tag: 17
                },
                length: 1,
                tag: 0
              };
      }
      
    }
  };
  var check_open_box = function (fmt) {
    if (typeof fmt === "number") {
      return /* () */0;
    }
    else if (fmt.tag === 11) {
      if (typeof fmt[1] === "number") {
        try {
          return open_box_of_string(fmt[0]);
        }
        catch (exn){
          if (exn[0] === Caml_builtin_exceptions.failure) {
            return /* () */0;
          }
          else {
            throw exn;
          }
        }
      }
      else {
        return /* () */0;
      }
    }
    else {
      return /* () */0;
    }
  };
  var parse_tag = function (is_open_tag, str_ind, end_ind) {
    try {
      if (str_ind === end_ind) {
        throw Caml_builtin_exceptions.not_found;
      }
      var match = str.charCodeAt(str_ind);
      if (match !== 60) {
        throw Caml_builtin_exceptions.not_found;
      }
      else {
        var ind = $$String.index_from(str, str_ind + 1, /* ">" */62);
        if (ind >= end_ind) {
          throw Caml_builtin_exceptions.not_found;
        }
        var sub_str = $$String.sub(str, str_ind, ind - str_ind + 1);
        var beg_ind = ind + 1;
        var match$1 = parse_literal(beg_ind, beg_ind, end_ind);
        var match$2 = parse_literal(str_ind, str_ind, ind + 1);
        var sub_fmt = match$2[0];
        var sub_format = /* Format */{
          0: sub_fmt,
          1: sub_str,
          length: 2,
          tag: 0
        };
        var formatting = is_open_tag ? /* Open_tag */{
            0: sub_format,
            length: 1,
            tag: 0
          } : (check_open_box(sub_fmt), /* Open_box */{
              0: sub_format,
              length: 1,
              tag: 1
            });
        return /* Fmt_EBB */{
                0: /* Formatting_gen */{
                  0: formatting,
                  1: match$1[0],
                  length: 2,
                  tag: 18
                },
                length: 1,
                tag: 0
              };
      }
    }
    catch (exn){
      if (exn === Caml_builtin_exceptions.not_found) {
        var match$3 = parse_literal(str_ind, str_ind, end_ind);
        var sub_format$1 = /* Format */{
          0: /* End_of_format */0,
          1: "",
          length: 2,
          tag: 0
        };
        var formatting$1 = is_open_tag ? /* Open_tag */{
            0: sub_format$1,
            length: 1,
            tag: 0
          } : /* Open_box */{
            0: sub_format$1,
            length: 1,
            tag: 1
          };
        return /* Fmt_EBB */{
                0: /* Formatting_gen */{
                  0: formatting$1,
                  1: match$3[0],
                  length: 2,
                  tag: 18
                },
                length: 1,
                tag: 0
              };
      }
      else {
        throw exn;
      }
    }
  };
  var parse_char_set = function (str_ind, end_ind) {
    if (str_ind === end_ind) {
      invalid_format_message(end_ind, "unexpected end of format");
    }
    var char_set = Bytes.make(32, /* "\000" */0);
    var add_range = function (c, c$prime) {
      for(var i = c; i<= c$prime; ++i){
        add_in_char_set(char_set, Pervasives.char_of_int(i));
      }
      return /* () */0;
    };
    var fail_single_percent = function (str_ind) {
      return Caml_curry.app2(failwith_message(/* Format */{
                      0: /* String_literal */{
                        0: "invalid format ",
                        1: /* Caml_string */{
                          0: /* No_padding */0,
                          1: /* String_literal */{
                            0: ": '",
                            1: /* Char_literal */{
                              0: /* "%" */37,
                              1: /* String_literal */{
                                0: "' alone is not accepted in character sets, use ",
                                1: /* Char_literal */{
                                  0: /* "%" */37,
                                  1: /* Char_literal */{
                                    0: /* "%" */37,
                                    1: /* String_literal */{
                                      0: " instead at position ",
                                      1: /* Int */{
                                        0: /* Int_d */0,
                                        1: /* No_padding */0,
                                        2: /* No_precision */0,
                                        3: /* Char_literal */{
                                          0: /* "." */46,
                                          1: /* End_of_format */0,
                                          length: 2,
                                          tag: 12
                                        },
                                        length: 4,
                                        tag: 4
                                      },
                                      length: 2,
                                      tag: 11
                                    },
                                    length: 2,
                                    tag: 12
                                  },
                                  length: 2,
                                  tag: 12
                                },
                                length: 2,
                                tag: 11
                              },
                              length: 2,
                              tag: 12
                            },
                            length: 2,
                            tag: 11
                          },
                          length: 2,
                          tag: 3
                        },
                        length: 2,
                        tag: 11
                      },
                      1: "invalid format %S: '%%' alone is not accepted in character sets, use %%%% instead at position %d.",
                      length: 2,
                      tag: 0
                    }), str, str_ind);
    };
    var parse_char_set_start = function (str_ind, end_ind) {
      if (str_ind === end_ind) {
        invalid_format_message(end_ind, "unexpected end of format");
      }
      var c = str.charCodeAt(str_ind);
      return parse_char_set_after_char(str_ind + 1, end_ind, c);
    };
    var parse_char_set_content = function (_str_ind, end_ind) {
      while(true) {
        var str_ind = _str_ind;
        if (str_ind === end_ind) {
          invalid_format_message(end_ind, "unexpected end of format");
        }
        var c = str.charCodeAt(str_ind);
        if (c !== 45) {
          if (c !== 93) {
            return parse_char_set_after_char(str_ind + 1, end_ind, c);
          }
          else {
            return str_ind + 1;
          }
        }
        else {
          add_in_char_set(char_set, /* "-" */45);
          _str_ind = str_ind + 1;
          continue ;
          
        }
      };
    };
    var parse_char_set_after_char = function (_str_ind, end_ind, _c) {
      while(true) {
        var c = _c;
        var str_ind = _str_ind;
        if (str_ind === end_ind) {
          invalid_format_message(end_ind, "unexpected end of format");
        }
        var c$prime = str.charCodeAt(str_ind);
        var exit = 0;
        var exit$1 = 0;
        if (c$prime >= 46) {
          if (c$prime !== 64) {
            if (c$prime !== 93) {
              exit = 1;
            }
            else {
              add_in_char_set(char_set, c);
              return str_ind + 1;
            }
          }
          else {
            exit$1 = 2;
          }
        }
        else if (c$prime !== 37) {
          if (c$prime >= 45) {
            var str_ind$1 = str_ind + 1;
            var end_ind$1 = end_ind;
            var c$1 = c;
            if (str_ind$1 === end_ind$1) {
              invalid_format_message(end_ind$1, "unexpected end of format");
            }
            var c$prime$1 = str.charCodeAt(str_ind$1);
            if (c$prime$1 !== 37) {
              if (c$prime$1 !== 93) {
                add_range(c$1, c$prime$1);
                return parse_char_set_content(str_ind$1 + 1, end_ind$1);
              }
              else {
                add_in_char_set(char_set, c$1);
                add_in_char_set(char_set, /* "-" */45);
                return str_ind$1 + 1;
              }
            }
            else {
              if (str_ind$1 + 1 === end_ind$1) {
                invalid_format_message(end_ind$1, "unexpected end of format");
              }
              var c$prime$2 = str.charCodeAt(str_ind$1 + 1);
              var exit$2 = 0;
              if (c$prime$2 !== 37) {
                if (c$prime$2 !== 64) {
                  return fail_single_percent(str_ind$1);
                }
                else {
                  exit$2 = 1;
                }
              }
              else {
                exit$2 = 1;
              }
              if (exit$2 === 1) {
                add_range(c$1, c$prime$2);
                return parse_char_set_content(str_ind$1 + 2, end_ind$1);
              }
              
            }
          }
          else {
            exit = 1;
          }
        }
        else {
          exit$1 = 2;
        }
        if (exit$1 === 2) {
          if (c === /* "%" */37) {
            add_in_char_set(char_set, c$prime);
            return parse_char_set_content(str_ind + 1, end_ind);
          }
          else {
            exit = 1;
          }
        }
        if (exit === 1) {
          if (c === /* "%" */37) {
            fail_single_percent(str_ind);
          }
          add_in_char_set(char_set, c);
          _c = c$prime;
          _str_ind = str_ind + 1;
          continue ;
          
        }
        
      };
    };
    if (str_ind === end_ind) {
      invalid_format_message(end_ind, "unexpected end of format");
    }
    var match = str.charCodeAt(str_ind);
    var match$1 = match !== 94 ? /* tuple */[
        str_ind,
        /* false */0
      ] : /* tuple */[
        str_ind + 1,
        /* true */1
      ];
    var next_ind = parse_char_set_start(match$1[0], end_ind);
    var char_set$1 = Bytes.to_string(char_set);
    return /* tuple */[
            next_ind,
            match$1[1] ? rev_char_set(char_set$1) : char_set$1
          ];
  };
  var parse_spaces = function (_str_ind, end_ind) {
    while(true) {
      var str_ind = _str_ind;
      if (str_ind === end_ind) {
        invalid_format_message(end_ind, "unexpected end of format");
      }
      if (str[str_ind] === " ") {
        _str_ind = str_ind + 1;
        continue ;
        
      }
      else {
        return str_ind;
      }
    };
  };
  var parse_positive = function (_str_ind, end_ind, _acc) {
    while(true) {
      var acc = _acc;
      var str_ind = _str_ind;
      if (str_ind === end_ind) {
        invalid_format_message(end_ind, "unexpected end of format");
      }
      var c = str.charCodeAt(str_ind);
      if (c > 57 || c < 48) {
        return /* tuple */[
                str_ind,
                acc
              ];
      }
      else {
        var new_acc = acc * 10 + (c - /* "0" */48);
        if (new_acc > Sys.max_string_length) {
          return Caml_curry.app3(failwith_message(/* Format */{
                          0: /* String_literal */{
                            0: "invalid format ",
                            1: /* Caml_string */{
                              0: /* No_padding */0,
                              1: /* String_literal */{
                                0: ": integer ",
                                1: /* Int */{
                                  0: /* Int_d */0,
                                  1: /* No_padding */0,
                                  2: /* No_precision */0,
                                  3: /* String_literal */{
                                    0: " is greater than the limit ",
                                    1: /* Int */{
                                      0: /* Int_d */0,
                                      1: /* No_padding */0,
                                      2: /* No_precision */0,
                                      3: /* End_of_format */0,
                                      length: 4,
                                      tag: 4
                                    },
                                    length: 2,
                                    tag: 11
                                  },
                                  length: 4,
                                  tag: 4
                                },
                                length: 2,
                                tag: 11
                              },
                              length: 2,
                              tag: 3
                            },
                            length: 2,
                            tag: 11
                          },
                          1: "invalid format %S: integer %d is greater than the limit %d",
                          length: 2,
                          tag: 0
                        }), str, new_acc, Sys.max_string_length);
        }
        else {
          _acc = new_acc;
          _str_ind = str_ind + 1;
          continue ;
          
        }
      }
    };
  };
  var parse_integer = function (str_ind, end_ind) {
    if (str_ind === end_ind) {
      invalid_format_message(end_ind, "unexpected end of format");
    }
    var match = str.charCodeAt(str_ind);
    if (match >= 48) {
      if (match >= 58) {
        throw [
              Caml_builtin_exceptions.assert_failure,
              [
                "camlinternalFormat.ml",
                2621,
                11
              ]
            ];
      }
      else {
        return parse_positive(str_ind, end_ind, 0);
      }
    }
    else if (match !== 45) {
      throw [
            Caml_builtin_exceptions.assert_failure,
            [
              "camlinternalFormat.ml",
              2621,
              11
            ]
          ];
    }
    else {
      if (str_ind + 1 === end_ind) {
        invalid_format_message(end_ind, "unexpected end of format");
      }
      var c = str.charCodeAt(str_ind + 1);
      if (c > 57 || c < 48) {
        return expected_character(str_ind + 1, "digit", c);
      }
      else {
        var match$1 = parse_positive(str_ind + 1, end_ind, 0);
        return /* tuple */[
                match$1[0],
                -match$1[1]
              ];
      }
    }
  };
  var add_literal = function (lit_start, str_ind, fmt) {
    var size = str_ind - lit_start;
    if (size !== 0) {
      if (size !== 1) {
        return /* Fmt_EBB */{
                0: /* String_literal */{
                  0: $$String.sub(str, lit_start, size),
                  1: fmt,
                  length: 2,
                  tag: 11
                },
                length: 1,
                tag: 0
              };
      }
      else {
        return /* Fmt_EBB */{
                0: /* Char_literal */{
                  0: str.charCodeAt(lit_start),
                  1: fmt,
                  length: 2,
                  tag: 12
                },
                length: 1,
                tag: 0
              };
      }
    }
    else {
      return /* Fmt_EBB */{
              0: fmt,
              length: 1,
              tag: 0
            };
    }
  };
  var search_subformat_end = function (_str_ind, end_ind, c) {
    while(true) {
      var str_ind = _str_ind;
      if (str_ind === end_ind) {
        Caml_curry.app3(failwith_message(/* Format */{
                  0: /* String_literal */{
                    0: "invalid format ",
                    1: /* Caml_string */{
                      0: /* No_padding */0,
                      1: /* String_literal */{
                        0: ': unclosed sub-format, expected "',
                        1: /* Char_literal */{
                          0: /* "%" */37,
                          1: /* Char */{
                            0: /* String_literal */{
                              0: '" at character number ',
                              1: /* Int */{
                                0: /* Int_d */0,
                                1: /* No_padding */0,
                                2: /* No_precision */0,
                                3: /* End_of_format */0,
                                length: 4,
                                tag: 4
                              },
                              length: 2,
                              tag: 11
                            },
                            length: 1,
                            tag: 0
                          },
                          length: 2,
                          tag: 12
                        },
                        length: 2,
                        tag: 11
                      },
                      length: 2,
                      tag: 3
                    },
                    length: 2,
                    tag: 11
                  },
                  1: 'invalid format %S: unclosed sub-format, expected "%%%c" at character number %d',
                  length: 2,
                  tag: 0
                }), str, c, end_ind);
      }
      var match = str.charCodeAt(str_ind);
      if (match !== 37) {
        _str_ind = str_ind + 1;
        continue ;
        
      }
      else {
        if (str_ind + 1 === end_ind) {
          invalid_format_message(end_ind, "unexpected end of format");
        }
        if (str.charCodeAt(str_ind + 1) === c) {
          return str_ind;
        }
        else {
          var match$1 = str.charCodeAt(str_ind + 1);
          var exit = 0;
          if (match$1 >= 95) {
            if (match$1 >= 123) {
              if (match$1 >= 126) {
                exit = 1;
              }
              else {
                switch (match$1 - 123) {
                  case 0 : 
                      var sub_end = search_subformat_end(str_ind + 2, end_ind, /* "}" */125);
                      _str_ind = sub_end + 2;
                      continue ;
                      case 1 : 
                      exit = 1;
                      break;
                  case 2 : 
                      return expected_character(str_ind + 1, "character ')'", /* "}" */125);
                  
                }
              }
            }
            else if (match$1 >= 96) {
              exit = 1;
            }
            else {
              if (str_ind + 2 === end_ind) {
                invalid_format_message(end_ind, "unexpected end of format");
              }
              var match$2 = str.charCodeAt(str_ind + 2);
              if (match$2 !== 40) {
                if (match$2 !== 123) {
                  _str_ind = str_ind + 3;
                  continue ;
                  
                }
                else {
                  var sub_end$1 = search_subformat_end(str_ind + 3, end_ind, /* "}" */125);
                  _str_ind = sub_end$1 + 2;
                  continue ;
                  
                }
              }
              else {
                var sub_end$2 = search_subformat_end(str_ind + 3, end_ind, /* ")" */41);
                _str_ind = sub_end$2 + 2;
                continue ;
                
              }
            }
          }
          else if (match$1 !== 40) {
            if (match$1 !== 41) {
              exit = 1;
            }
            else {
              return expected_character(str_ind + 1, "character '}'", /* ")" */41);
            }
          }
          else {
            var sub_end$3 = search_subformat_end(str_ind + 2, end_ind, /* ")" */41);
            _str_ind = sub_end$3 + 2;
            continue ;
            
          }
          if (exit === 1) {
            _str_ind = str_ind + 2;
            continue ;
            
          }
          
        }
      }
    };
  };
  var is_int_base = function (symb) {
    var switcher = symb - 88;
    if (switcher > 32 || switcher < 0) {
      return /* false */0;
    }
    else {
      switch (switcher) {
        case 1 : 
        case 2 : 
        case 3 : 
        case 4 : 
        case 5 : 
        case 6 : 
        case 7 : 
        case 8 : 
        case 9 : 
        case 10 : 
        case 11 : 
        case 13 : 
        case 14 : 
        case 15 : 
        case 16 : 
        case 18 : 
        case 19 : 
        case 20 : 
        case 21 : 
        case 22 : 
        case 24 : 
        case 25 : 
        case 26 : 
        case 27 : 
        case 28 : 
        case 30 : 
        case 31 : 
            return /* false */0;
        case 0 : 
        case 12 : 
        case 17 : 
        case 23 : 
        case 29 : 
        case 32 : 
            return /* true */1;
        
      }
    }
  };
  var counter_of_char = function (symb) {
    var exit = 0;
    if (symb >= 108) {
      if (symb >= 111) {
        exit = 1;
      }
      else {
        switch (symb - 108) {
          case 0 : 
              return /* Line_counter */0;
          case 1 : 
              exit = 1;
              break;
          case 2 : 
              return /* Char_counter */1;
          
        }
      }
    }
    else if (symb !== 76) {
      exit = 1;
    }
    else {
      return /* Token_counter */2;
    }
    if (exit === 1) {
      throw [
            Caml_builtin_exceptions.assert_failure,
            [
              "camlinternalFormat.ml",
              2683,
              34
            ]
          ];
    }
    
  };
  var compute_int_conv = function (pct_ind, str_ind, _plus, _sharp, _space, symb) {
    while(true) {
      var space = _space;
      var sharp = _sharp;
      var plus = _plus;
      var exit = 0;
      var exit$1 = 0;
      if (plus !== 0) {
        if (sharp !== 0) {
          exit$1 = 2;
        }
        else if (space !== 0) {
          exit = 1;
        }
        else if (symb !== 100) {
          if (symb !== 105) {
            exit = 1;
          }
          else {
            return /* Int_pi */4;
          }
        }
        else {
          return /* Int_pd */1;
        }
      }
      else if (sharp !== 0) {
        if (space !== 0) {
          exit$1 = 2;
        }
        else if (symb !== 88) {
          if (symb !== 111) {
            if (symb !== 120) {
              exit$1 = 2;
            }
            else {
              return /* Int_Cx */7;
            }
          }
          else {
            return /* Int_Co */11;
          }
        }
        else {
          return /* Int_CX */9;
        }
      }
      else if (space !== 0) {
        if (symb !== 100) {
          if (symb !== 105) {
            exit = 1;
          }
          else {
            return /* Int_si */5;
          }
        }
        else {
          return /* Int_sd */2;
        }
      }
      else {
        var switcher = symb - 88;
        if (switcher > 32 || switcher < 0) {
          exit = 1;
        }
        else {
          switch (switcher) {
            case 0 : 
                return /* Int_X */8;
            case 12 : 
                return /* Int_d */0;
            case 17 : 
                return /* Int_i */3;
            case 23 : 
                return /* Int_o */10;
            case 29 : 
                return /* Int_u */12;
            case 1 : 
            case 2 : 
            case 3 : 
            case 4 : 
            case 5 : 
            case 6 : 
            case 7 : 
            case 8 : 
            case 9 : 
            case 10 : 
            case 11 : 
            case 13 : 
            case 14 : 
            case 15 : 
            case 16 : 
            case 18 : 
            case 19 : 
            case 20 : 
            case 21 : 
            case 22 : 
            case 24 : 
            case 25 : 
            case 26 : 
            case 27 : 
            case 28 : 
            case 30 : 
            case 31 : 
                exit = 1;
                break;
            case 32 : 
                return /* Int_x */6;
            
          }
        }
      }
      if (exit$1 === 2) {
        var exit$2 = 0;
        var switcher$1 = symb - 88;
        if (switcher$1 > 32 || switcher$1 < 0) {
          exit = 1;
        }
        else {
          switch (switcher$1) {
            case 0 : 
                if (legacy_behavior$1) {
                  return /* Int_CX */9;
                }
                else {
                  exit = 1;
                }
                break;
            case 23 : 
                if (legacy_behavior$1) {
                  return /* Int_Co */11;
                }
                else {
                  exit = 1;
                }
                break;
            case 12 : 
            case 17 : 
            case 29 : 
                exit$2 = 3;
                break;
            case 1 : 
            case 2 : 
            case 3 : 
            case 4 : 
            case 5 : 
            case 6 : 
            case 7 : 
            case 8 : 
            case 9 : 
            case 10 : 
            case 11 : 
            case 13 : 
            case 14 : 
            case 15 : 
            case 16 : 
            case 18 : 
            case 19 : 
            case 20 : 
            case 21 : 
            case 22 : 
            case 24 : 
            case 25 : 
            case 26 : 
            case 27 : 
            case 28 : 
            case 30 : 
            case 31 : 
                exit = 1;
                break;
            case 32 : 
                if (legacy_behavior$1) {
                  return /* Int_Cx */7;
                }
                else {
                  exit = 1;
                }
                break;
            
          }
        }
        if (exit$2 === 3) {
          if (legacy_behavior$1) {
            _sharp = /* false */0;
            continue ;
            
          }
          else {
            return incompatible_flag(pct_ind, str_ind, symb, "'#'");
          }
        }
        
      }
      if (exit === 1) {
        if (plus !== 0) {
          if (space !== 0) {
            if (legacy_behavior$1) {
              _space = /* false */0;
              continue ;
              
            }
            else {
              return incompatible_flag(pct_ind, str_ind, /* " " */32, "'+'");
            }
          }
          else if (legacy_behavior$1) {
            _plus = /* false */0;
            continue ;
            
          }
          else {
            return incompatible_flag(pct_ind, str_ind, symb, "'+'");
          }
        }
        else if (space !== 0) {
          if (legacy_behavior$1) {
            _space = /* false */0;
            continue ;
            
          }
          else {
            return incompatible_flag(pct_ind, str_ind, symb, "' '");
          }
        }
        else {
          throw [
                Caml_builtin_exceptions.assert_failure,
                [
                  "camlinternalFormat.ml",
                  2716,
                  28
                ]
              ];
        }
      }
      
    };
  };
  var compute_float_conv = function (pct_ind, str_ind, _plus, _space, symb) {
    while(true) {
      var space = _space;
      var plus = _plus;
      if (plus !== 0) {
        if (space !== 0) {
          if (legacy_behavior$1) {
            _space = /* false */0;
            continue ;
            
          }
          else {
            return incompatible_flag(pct_ind, str_ind, /* " " */32, "'+'");
          }
        }
        else {
          var exit = 0;
          if (symb >= 72) {
            var switcher = symb - 101;
            if (switcher > 2 || switcher < 0) {
              exit = 1;
            }
            else {
              switch (switcher) {
                case 0 : 
                    return /* Float_pe */4;
                case 1 : 
                    return /* Float_pf */1;
                case 2 : 
                    return /* Float_pg */10;
                
              }
            }
          }
          else if (symb >= 69) {
            switch (symb - 69) {
              case 0 : 
                  return /* Float_pE */7;
              case 1 : 
                  exit = 1;
                  break;
              case 2 : 
                  return /* Float_pG */13;
              
            }
          }
          else {
            exit = 1;
          }
          if (exit === 1) {
            if (legacy_behavior$1) {
              _plus = /* false */0;
              continue ;
              
            }
            else {
              return incompatible_flag(pct_ind, str_ind, symb, "'+'");
            }
          }
          
        }
      }
      else if (space !== 0) {
        var exit$1 = 0;
        if (symb >= 72) {
          var switcher$1 = symb - 101;
          if (switcher$1 > 2 || switcher$1 < 0) {
            exit$1 = 1;
          }
          else {
            switch (switcher$1) {
              case 0 : 
                  return /* Float_se */5;
              case 1 : 
                  return /* Float_sf */2;
              case 2 : 
                  return /* Float_sg */11;
              
            }
          }
        }
        else if (symb >= 69) {
          switch (symb - 69) {
            case 0 : 
                return /* Float_sE */8;
            case 1 : 
                exit$1 = 1;
                break;
            case 2 : 
                return /* Float_sG */14;
            
          }
        }
        else {
          exit$1 = 1;
        }
        if (exit$1 === 1) {
          if (legacy_behavior$1) {
            _space = /* false */0;
            continue ;
            
          }
          else {
            return incompatible_flag(pct_ind, str_ind, symb, "' '");
          }
        }
        
      }
      else if (symb >= 72) {
        var switcher$2 = symb - 101;
        if (switcher$2 > 2 || switcher$2 < 0) {
          throw [
                Caml_builtin_exceptions.assert_failure,
                [
                  "camlinternalFormat.ml",
                  2744,
                  25
                ]
              ];
        }
        else {
          switch (switcher$2) {
            case 0 : 
                return /* Float_e */3;
            case 1 : 
                return /* Float_f */0;
            case 2 : 
                return /* Float_g */9;
            
          }
        }
      }
      else if (symb >= 69) {
        switch (symb - 69) {
          case 0 : 
              return /* Float_E */6;
          case 1 : 
              return /* Float_F */15;
          case 2 : 
              return /* Float_G */12;
          
        }
      }
      else {
        throw [
              Caml_builtin_exceptions.assert_failure,
              [
                "camlinternalFormat.ml",
                2744,
                25
              ]
            ];
      }
    };
  };
  var incompatible_flag = function (pct_ind, str_ind, symb, option) {
    var subfmt = $$String.sub(str, pct_ind, str_ind - pct_ind);
    return Caml_curry.app5(failwith_message(/* Format */{
                    0: /* String_literal */{
                      0: "invalid format ",
                      1: /* Caml_string */{
                        0: /* No_padding */0,
                        1: /* String_literal */{
                          0: ": at character number ",
                          1: /* Int */{
                            0: /* Int_d */0,
                            1: /* No_padding */0,
                            2: /* No_precision */0,
                            3: /* String_literal */{
                              0: ", ",
                              1: /* String */{
                                0: /* No_padding */0,
                                1: /* String_literal */{
                                  0: " is incompatible with '",
                                  1: /* Char */{
                                    0: /* String_literal */{
                                      0: "' in sub-format ",
                                      1: /* Caml_string */{
                                        0: /* No_padding */0,
                                        1: /* End_of_format */0,
                                        length: 2,
                                        tag: 3
                                      },
                                      length: 2,
                                      tag: 11
                                    },
                                    length: 1,
                                    tag: 0
                                  },
                                  length: 2,
                                  tag: 11
                                },
                                length: 2,
                                tag: 2
                              },
                              length: 2,
                              tag: 11
                            },
                            length: 4,
                            tag: 4
                          },
                          length: 2,
                          tag: 11
                        },
                        length: 2,
                        tag: 3
                      },
                      length: 2,
                      tag: 11
                    },
                    1: "invalid format %S: at character number %d, %s is incompatible with '%c' in sub-format %S",
                    length: 2,
                    tag: 0
                  }), str, pct_ind, option, symb, subfmt);
  };
  return parse_literal(0, 0, str.length);
}

function format_of_string_fmtty(str, fmtty) {
  var match = fmt_ebb_of_string(/* None */0, str);
  try {
    return /* Format */{
            0: type_format(match[0], fmtty),
            1: str,
            length: 2,
            tag: 0
          };
  }
  catch (exn){
    if (exn === Type_mismatch) {
      return Caml_curry.app2(failwith_message(/* Format */{
                      0: /* String_literal */{
                        0: "bad input: format type mismatch between ",
                        1: /* Caml_string */{
                          0: /* No_padding */0,
                          1: /* String_literal */{
                            0: " and ",
                            1: /* Caml_string */{
                              0: /* No_padding */0,
                              1: /* End_of_format */0,
                              length: 2,
                              tag: 3
                            },
                            length: 2,
                            tag: 11
                          },
                          length: 2,
                          tag: 3
                        },
                        length: 2,
                        tag: 11
                      },
                      1: "bad input: format type mismatch between %S and %S",
                      length: 2,
                      tag: 0
                    }), str, string_of_fmtty(fmtty));
    }
    else {
      throw exn;
    }
  }
}

function format_of_string_format(str, param) {
  var match = fmt_ebb_of_string(/* None */0, str);
  try {
    return /* Format */{
            0: type_format(match[0], fmtty_of_fmt(param[0])),
            1: str,
            length: 2,
            tag: 0
          };
  }
  catch (exn){
    if (exn === Type_mismatch) {
      return Caml_curry.app2(failwith_message(/* Format */{
                      0: /* String_literal */{
                        0: "bad input: format type mismatch between ",
                        1: /* Caml_string */{
                          0: /* No_padding */0,
                          1: /* String_literal */{
                            0: " and ",
                            1: /* Caml_string */{
                              0: /* No_padding */0,
                              1: /* End_of_format */0,
                              length: 2,
                              tag: 3
                            },
                            length: 2,
                            tag: 11
                          },
                          length: 2,
                          tag: 3
                        },
                        length: 2,
                        tag: 11
                      },
                      1: "bad input: format type mismatch between %S and %S",
                      length: 2,
                      tag: 0
                    }), str, param[1]);
    }
    else {
      throw exn;
    }
  }
}

exports.is_in_char_set                 = is_in_char_set;
exports.rev_char_set                   = rev_char_set;
exports.create_char_set                = create_char_set;
exports.add_in_char_set                = add_in_char_set;
exports.freeze_char_set                = freeze_char_set;
exports.param_format_of_ignored_format = param_format_of_ignored_format;
exports.make_printf                    = make_printf;
exports.output_acc                     = output_acc;
exports.bufput_acc                     = bufput_acc;
exports.strput_acc                     = strput_acc;
exports.type_format                    = type_format;
exports.fmt_ebb_of_string              = fmt_ebb_of_string;
exports.format_of_string_fmtty         = format_of_string_fmtty;
exports.format_of_string_format        = format_of_string_format;
exports.char_of_iconv                  = char_of_iconv;
exports.string_of_formatting_lit       = string_of_formatting_lit;
exports.string_of_formatting_gen       = string_of_formatting_gen;
exports.string_of_fmtty                = string_of_fmtty;
exports.string_of_fmt                  = string_of_fmt;
exports.open_box_of_string             = open_box_of_string;
exports.symm                           = symm;
exports.trans                          = trans;
exports.recast                         = recast;
/* No side effect */