1 files changed, 704 insertions, 0 deletions

diff --git a/ocaml-binary-annot/camlp4/test/fixtures/big-tab1.ml b/ocaml-binary-annot/camlp4/test/fixtures/big-tab1.ml
new file mode 100644
index 0000000000..254da82525
--- /dev/null
+++ b/ocaml-binary-annot/camlp4/test/fixtures/big-tab1.ml
@@ -0,0 +1,704 @@
+[|
+aaa;
+aab;
+aac;
+aad;
+aae;
+aaf;
+aag;
+aah;
+aai;
+aaj;
+aak;
+aal;
+aam;
+aan;
+aao;
+aap;
+aaq;
+aar;
+aas;
+aat;
+aau;
+aav;
+aaw;
+aax;
+aay;
+aaz;
+aba;
+abb;
+abc;
+abd;
+abe;
+abf;
+abg;
+abh;
+abi;
+abj;
+abk;
+abl;
+abm;
+abn;
+abo;
+abp;
+abq;
+abr;
+abs;
+abt;
+abu;
+abv;
+abw;
+abx;
+aby;
+abz;
+aca;
+acb;
+acc;
+acd;
+ace;
+acf;
+acg;
+ach;
+aci;
+acj;
+ack;
+acl;
+acm;
+acn;
+aco;
+acp;
+acq;
+acr;
+acs;
+act;
+acu;
+acv;
+acw;
+acx;
+acy;
+acz;
+ada;
+adb;
+adc;
+add;
+ade;
+adf;
+adg;
+adh;
+adi;
+adj;
+adk;
+adl;
+adm;
+adn;
+ado;
+adp;
+adq;
+adr;
+ads;
+adt;
+adu;
+adv;
+adw;
+adx;
+ady;
+adz;
+aea;
+aeb;
+aec;
+aed;
+aee;
+aef;
+aeg;
+aeh;
+aei;
+aej;
+aek;
+ael;
+aem;
+aen;
+aeo;
+aep;
+aeq;
+aer;
+aes;
+aet;
+aeu;
+aev;
+aew;
+aex;
+aey;
+aez;
+afa;
+afb;
+afc;
+afd;
+afe;
+aff;
+afg;
+afh;
+afi;
+afj;
+afk;
+afl;
+afm;
+afn;
+afo;
+afp;
+afq;
+afr;
+afs;
+aft;
+afu;
+afv;
+afw;
+afx;
+afy;
+afz;
+aga;
+agb;
+agc;
+agd;
+age;
+agf;
+agg;
+agh;
+agi;
+agj;
+agk;
+agl;
+agm;
+agn;
+ago;
+agp;
+agq;
+agr;
+ags;
+agt;
+agu;
+agv;
+agw;
+agx;
+agy;
+agz;
+aha;
+ahb;
+ahc;
+ahd;
+ahe;
+ahf;
+ahg;
+ahh;
+ahi;
+ahj;
+ahk;
+ahl;
+ahm;
+ahn;
+aho;
+ahp;
+ahq;
+ahr;
+ahs;
+aht;
+ahu;
+ahv;
+ahw;
+ahx;
+ahy;
+ahz;
+aia;
+aib;
+aic;
+aid;
+aie;
+aif;
+aig;
+aih;
+aii;
+aij;
+aik;
+ail;
+aim;
+ain;
+aio;
+aip;
+aiq;
+air;
+ais;
+ait;
+aiu;
+aiv;
+aiw;
+aix;
+aiy;
+aiz;
+aja;
+ajb;
+ajc;
+ajd;
+aje;
+ajf;
+ajg;
+ajh;
+aji;
+ajj;
+ajk;
+ajl;
+ajm;
+ajn;
+ajo;
+ajp;
+ajq;
+ajr;
+ajs;
+ajt;
+aju;
+ajv;
+ajw;
+ajx;
+ajy;
+ajz;
+aka;
+akb;
+akc;
+akd;
+ake;
+akf;
+akg;
+akh;
+aki;
+akj;
+akk;
+akl;
+akm;
+akn;
+ako;
+akp;
+akq;
+akr;
+aks;
+akt;
+aku;
+akv;
+akw;
+akx;
+aky;
+akz;
+ala;
+alb;
+alc;
+ald;
+ale;
+alf;
+alg;
+alh;
+ali;
+alj;
+alk;
+all;
+alm;
+aln;
+alo;
+alp;
+alq;
+alr;
+als;
+alt;
+alu;
+alv;
+alw;
+alx;
+aly;
+alz;
+ama;
+amb;
+amc;
+amd;
+ame;
+amf;
+amg;
+amh;
+ami;
+amj;
+amk;
+aml;
+amm;
+amn;
+amo;
+amp;
+amq;
+amr;
+ams;
+amt;
+amu;
+amv;
+amw;
+amx;
+amy;
+amz;
+ana;
+anb;
+anc;
+ane;
+anf;
+ang;
+anh;
+ani;
+anj;
+ank;
+anl;
+anm;
+ann;
+ano;
+anp;
+anq;
+anr;
+ans;
+ant;
+anu;
+anv;
+anw;
+anx;
+any;
+anz;
+aoa;
+aob;
+aoc;
+aod;
+aoe;
+aof;
+aog;
+aoh;
+aoi;
+aoj;
+aok;
+aol;
+aom;
+aon;
+aoo;
+aop;
+aoq;
+aor;
+aos;
+aot;
+aou;
+aov;
+aow;
+aox;
+aoy;
+aoz;
+apa;
+apb;
+apc;
+apd;
+ape;
+apf;
+apg;
+aph;
+api;
+apj;
+apk;
+apl;
+apm;
+apn;
+apo;
+app;
+apq;
+apr;
+aps;
+apt;
+apu;
+apv;
+apw;
+apx;
+apy;
+apz;
+aqa;
+aqb;
+aqc;
+aqd;
+aqe;
+aqf;
+aqg;
+aqh;
+aqi;
+aqj;
+aqk;
+aql;
+aqm;
+aqn;
+aqo;
+aqp;
+aqq;
+aqr;
+aqs;
+aqt;
+aqu;
+aqv;
+aqw;
+aqx;
+aqy;
+aqz;
+ara;
+arb;
+arc;
+ard;
+are;
+arf;
+arg;
+arh;
+ari;
+arj;
+ark;
+arl;
+arm;
+arn;
+aro;
+arp;
+arq;
+arr;
+ars;
+art;
+aru;
+arv;
+arw;
+arx;
+ary;
+arz;
+asa;
+asb;
+asc;
+asd;
+ase;
+asf;
+asg;
+ash;
+asi;
+asj;
+ask;
+asl;
+asm;
+asn;
+aso;
+asp;
+asq;
+ass;
+ast;
+asu;
+asv;
+asw;
+asx;
+asy;
+asz;
+ata;
+atb;
+atc;
+atd;
+ate;
+atf;
+atg;
+ath;
+ati;
+atj;
+atk;
+atl;
+atm;
+atn;
+ato;
+atp;
+atq;
+atr;
+ats;
+att;
+atu;
+atv;
+atw;
+atx;
+aty;
+atz;
+aua;
+aub;
+auc;
+aud;
+aue;
+auf;
+aug;
+auh;
+aui;
+auj;
+auk;
+aul;
+aum;
+aun;
+auo;
+aup;
+auq;
+aur;
+aus;
+aut;
+auu;
+auv;
+auw;
+aux;
+auy;
+auz;
+ava;
+avb;
+avc;
+avd;
+ave;
+avf;
+avg;
+avh;
+avi;
+avj;
+avk;
+avl;
+avm;
+avn;
+avo;
+avp;
+avq;
+avr;
+avs;
+avt;
+avu;
+avv;
+avw;
+avx;
+avy;
+avz;
+awa;
+awb;
+awc;
+awd;
+awe;
+awf;
+awg;
+awh;
+awi;
+awj;
+awk;
+awl;
+awm;
+awn;
+awo;
+awp;
+awq;
+awr;
+aws;
+awt;
+awu;
+awv;
+aww;
+awx;
+awy;
+awz;
+axa;
+axb;
+axc;
+axd;
+axe;
+axf;
+axg;
+axh;
+axi;
+axj;
+axk;
+axl;
+axm;
+axn;
+axo;
+axp;
+axq;
+axr;
+axs;
+axt;
+axu;
+axv;
+axw;
+axx;
+axy;
+axz;
+aya;
+ayb;
+ayc;
+ayd;
+aye;
+ayf;
+ayg;
+ayh;
+ayi;
+ayj;
+ayk;
+ayl;
+aym;
+ayn;
+ayo;
+ayp;
+ayq;
+ayr;
+ays;
+ayt;
+ayu;
+ayv;
+ayw;
+ayx;
+ayy;
+ayz;
+aza;
+azb;
+azc;
+azd;
+aze;
+azf;
+azg;
+azh;
+azi;
+azj;
+azk;
+azl;
+azm;
+azn;
+azo;
+azp;
+azq;
+azr;
+azs;
+azt;
+azu;
+azv;
+azw;
+azx;
+azy;
+azz;
+baa;
+bab;
+bac;
+bad;
+bae;
+baf;
+bag;
+bah;
+bai;
+baj;
+bak;
+bal;
+bam;
+ban;
+bao;
+bap;
+baq;
+bar;
+bas;
+bat;
+bau;
+bav;
+baw;
+bax;
+bay;
+baz;
+bba;
+bbb
+|];