diff --git a/examples/pil-fun/tests/gens/scala3-big/expected b/examples/pil-fun/tests/gens/scala3-big/expected
new file mode 100644
index 000000000..9eeaa9f63
--- /dev/null
+++ b/examples/pil-fun/tests/gens/scala3-big/expected
@@ -0,0 +1,299 @@
+-------------------
+
+extension (lsbhzmuum: Int)
+  def f(g: Boolean, zhdjsjn: Boolean, bzxbnt: Int, kcykprmz: Boolean, j: Int, pofpamn: Int): Unit = {
+    def bjzxbceo(vr: Boolean, aqh: Boolean, vgpeorkzyw: Boolean, tjwddp: Int, vaezbrut: Boolean) =
+      extension (viradza: Boolean)
+        def ochswyeoo(urqplbpag: Boolean, kxswdyvkau: Boolean, dxod: Boolean): Boolean = {
+          Console.println((7.+(tjwddp)).+(tjwddp + 7))
+          val eqibjfxxwk = 3
+          if (tjwddp.==(7)) && (0 < (7.+(7))) then {
+            val otmkdghq = (7 + tjwddp).+(tjwddp + (6.+(3)))
+            
+          } else {
+            val ypll = (dnwfdiifst: Int, kqedtsy: Int) =>
+              false 
+            
+          }
+          Console.println((tjwddp.+(0)).+(0 + tjwddp))
+          true || (3 == (tjwddp.+(3)))
+        } : Boolean
+      val hb = () => {
+        extension (seg: Int)
+          def naqy(lfn: Boolean): Unit = {
+            if vr.ochswyeoo(3.<=(pofpamn), vgpeorkzyw, vgpeorkzyw.&&(vr && vr)) then {
+              
+            } else {
+              
+            }
+            if vgpeorkzyw then {
+              
+            }
+            
+          } 
+        if true.ochswyeoo(aqh.||(true), vr || aqh, kcykprmz.ochswyeoo(true, aqh, vr)) then {
+          (j.+(j.+(j))).naqy((j + 7) == 1)
+          
+        } else {
+          val tuihc = (p: Boolean) =>
+            (pofpamn.+(2)) + (6 + 4) 
+          
+        }
+        5 naqy false
+        
+      } : Unit
+      if vgpeorkzyw then {
+        hb()
+        hb()
+        
+      } else {
+        var oqj: Boolean = true.ochswyeoo(0 == j, true || false, false)
+        if false.ochswyeoo(tjwddp.<=(pofpamn), pofpamn == j, vr.ochswyeoo(vgpeorkzyw, vr, false)) then {
+          
+        } else {
+          
+        }
+        
+      }
+      val omu = (hufz: Int) => {
+        extension (y: Boolean) def zqh(fzjuxude: Boolean): Int = { 2 + 7 } 
+        
+      } 
+      extension (k: Boolean)
+        def gwdekh(qjwjul: Boolean, gxeqlbtyx: Boolean, xdkbf: Int, lrxkafuei: Boolean) = { (tjwddp + tjwddp).+(tjwddp + (7.+(tjwddp))) } 
+       
+    if kcykprmz then
+      val kbabzad = (7.+(2)).+(pofpamn + (bzxbnt.+(bzxbnt)))
+      bjzxbceo(false, false.&&(false), false.&&(!(kcykprmz)), 1.+(1 + kbabzad), !(1 == 2))
+      val nq = (cmyobf: Boolean, huqexo: Boolean, zqjoqhc: Int, npsdrjl: Boolean) => {
+        extension (cwmxl: Boolean) def rgoh(rxrn: Boolean, gwlvzwkq: Boolean, dswokhsap: Boolean, cxalh: Int, b: Boolean, qmrj: Int): Unit = {  } 
+        
+      } : Unit
+      if (bzxbnt.==(lsbhzmuum)) || (g && (zhdjsjn && false)) then
+        {}
+      
+    else
+      bjzxbceo(zhdjsjn, zhdjsjn, false.||(true), 5, g || (true && (!(g))))
+      if (lsbhzmuum + lsbhzmuum).==(2 + (lsbhzmuum.+(5))) then {
+        
+      } else {
+        val slhuhvgxj = (eysb: Int, bzvphqjmab: Boolean, rnkab: Int, gwjkn: Boolean) => {
+          val fbp = (obe: Boolean, l: Boolean, ohvxpkk: Int) => {  } : Unit
+          false.||(kcykprmz.&&(bzvphqjmab))
+        } : Boolean
+        bjzxbceo(zhdjsjn, true, 0.==(6), lsbhzmuum.+(lsbhzmuum.+(lsbhzmuum)), slhuhvgxj(6, false, 4, pofpamn == lsbhzmuum))
+        
+      }
+      val zm = g
+      val v = () => { lsbhzmuum.+(lsbhzmuum.+(2.+(bzxbnt))) } 
+      
+    val isxqgqhpn = 3
+    if lsbhzmuum == (7.+(pofpamn)) then {
+      if (!(true)) || ((!(kcykprmz)) && g) then
+        {}
+      else
+        var ncdficbyg = (0 + lsbhzmuum).+(3.+(6.+(2)))
+        
+      
+    } else {
+      val kopmjkfxqc = (uhkjm: Boolean, zpucu: Boolean, oywl: Boolean, pm: Boolean, ecl: Int, bgwwsmfgc: Int) => {
+        extension (vfc: Int) def mg(rhpvtn: Int, gkzppygn: Boolean, fynouiswxi: Boolean): Int = { (ecl.+(vfc)) + (ecl.+(4 + 7)) } : Int
+        
+      } : Unit
+      bjzxbceo(zhdjsjn, lsbhzmuum.==(3), 1 == 3, 4.+(4.+(3)), (bzxbnt + 6).==(6.+(4)))
+      
+    }
+    
+  } 
+
+@main
+def nnrdtjkx(): Unit = {
+  if (6 + 4) == 3 then {
+    if false then
+      3.f(true, !(false), 0 + 6, true, 1 + (4 + 0), 6.+(0.+(7)))
+      6.f(true, !(true), 2 + 1, 6.<=(4), 5 + (7.+(1)), 7.+(4 + 3))
+      var ltszwkd = (5.+(5)).+(4 + (1 + 1))
+      if (ltszwkd + ltszwkd).==(ltszwkd + 4) then {
+        
+      }
+      
+    else
+      def yopcgm(kberik: Int, sshmtadbj: Boolean, wzmrcfnc: Int, i: Int, gxnzfx: Boolean, txuelhidi: Int) =
+        def entrdwrxol(qrkjobhkoz: Int, nepwgyzn: Int, uy: Boolean) =
+          5.f(sshmtadbj, true, i, !(true), 6 + wzmrcfnc, 4.+(3))
+          extension (hide: Boolean)
+            def xbjtxt(zpljmsul: Int, t: Boolean, qdicfwb: Boolean, vxhyd: Boolean, ebqobvrg: Int): Unit =
+              {} 
+          (sshmtadbj && true) && (true || false) 
+        if sshmtadbj then {
+          
+        } else {
+          def quwdhtki() =
+            entrdwrxol(wzmrcfnc.+(kberik), kberik + 1, entrdwrxol(kberik, kberik, sshmtadbj.||(true))) 
+          
+        }
+        kberik.f(true, false, 4, false || false, i + (txuelhidi.+(7)), (1.+(kberik)).+(kberik.+(0)))
+         
+      val wvw: Int = (0.+(0)).+(4)
+      var vhnp: Int = 7
+      vhnp = (3 + 2) + 5
+      
+    val xfb = (fvzwxya: Boolean, mqemczi: Boolean, wkfxa: Boolean, wv: Boolean, cti: Boolean, nxcsam: Int) => {
+      var ohssei: Boolean = (nxcsam.+(3)).==(nxcsam.+(nxcsam.+(2)))
+      ohssei = mqemczi
+      5.f(true, !(ohssei), 0.+(nxcsam), nxcsam == nxcsam, 0 + (nxcsam.+(nxcsam)), 1)
+      
+    } : Unit
+    val igu = (5 + 3) + (1.+(3.+(4)))
+    
+  } else {
+    if (5.+(3)) == (6.+(6.+(5))) then
+      if (true || (!(true))).&&(6 <= 4) then {
+        if (4 <= 7).&&(7 == 6) then
+          6.f(true, false, 5 + 7, false && (!(true)), 2 + (2.+(3)), (5 + 2).+(4))
+          val rsebaxwtd: Int = (3 + 5).+(1 + 6)
+          
+        else
+          val dfnclwya: Int = 0 + (7.+(6))
+          
+        if true then
+          0.f(true, false, 5 + 2, 2.==(7), 2 + (4.+(7)), (1 + 1).+(7 + 2))
+          
+        else
+          val bxcaf = !(4 <= (1.+(3)))
+          
+        
+      } else {
+        var rrdv = 3.+(6 + (1.+(1)))
+        if (!(!(false))).&&((!(true)).&&(false.&&(false))) then {
+          extension (whbsqvi: Boolean) def xcsjakiieb(qdxfpf: Boolean, ghix: Boolean): Unit = {  } : Unit
+          
+        } else {
+          rrdv = (rrdv + 7) + (1 + rrdv)
+          
+        }
+        rrdv.f(false, !(true), rrdv, false, rrdv, rrdv.+(rrdv))
+        
+      }
+      extension (ebedfdsy: Boolean)
+        def ktqlcles(aytjcbxl: Boolean, ycvic: Boolean, kkdwd: Boolean, hbwucxlwb: Int, nopwim: Boolean, wy: Int) = {
+          def fep(wcmeyqttd: Boolean, hmnimcmdmb: Boolean, oqc: Int, qc: Boolean, gglip: Boolean, fhecmkilwq: Int) = {
+            if !((!(true)).&&(!(false))) then {
+              
+            }
+            (wy + 4) + (wy + (7.+(5)))
+          } 
+          if (2.+(6)) < (1 + (wy.+(hbwucxlwb))) then {
+            
+          }
+          hbwucxlwb.==(6)
+        } 
+      if true || true then
+        {}
+      else
+        0.f(false, false, 1.+(3), true.&&(true), 4 + (5 + 6), 4.+(5 + 5))
+        
+      
+    else
+      extension (ztqxsw: Boolean)
+        def dixlzn(vkdgl: Boolean): Int =
+          def hyh(yr: Int) = {
+            yr.f(ztqxsw, !(false), 4 + yr, true.||(!(ztqxsw)), yr, (1.+(yr)) + (yr.+(yr)))
+            def t(ycfvjun: Boolean, x: Int, gdcgpkzlp: Int, pj: Int, jqqmg: Boolean, iy: Boolean, ycpwl: Int) = { yr } 
+            (3 + yr) + (yr.+(1))
+          } 
+          7.f(ztqxsw, false, hyh(6), false && ztqxsw, hyh(3) + 6, (0.+(6)).+(hyh(hyh(5))))
+          var dnzjab: Boolean = (2.<(hyh(5))) || (ztqxsw || (ztqxsw.||(ztqxsw)))
+          (4.+(3)) + 0 
+      if (false.&&(false)) || (true || false) then {
+        if (3 == 2) || (true || (5 < 6)) then {
+          
+        } else {
+          if (1 == 6) && (false || (4 == 0)) then {
+            
+          } else {
+            
+          }
+          
+        }
+        0.f(true, true, 2.+(5), 7.==(6), 5.+(false.dixlzn(true)), false.dixlzn(true.||(true)))
+        
+      } else {
+        val xikz = (6 < 0).dixlzn(2.==(true dixlzn true))
+        var alcsccds = xikz.+(xikz + (true dixlzn true))
+        
+      }
+      2.f(true, false, false dixlzn true, 7.==(4), true.dixlzn(4 == 1), (true.||(true)) dixlzn (0.<(3)))
+      if (4.==(6)) || (3.<=(5)) then {
+        
+      }
+      
+    extension (c: Boolean)
+      def vimqhhecmj(pciwteqyeg: Boolean, i: Int): Unit = {
+        extension (fmur: Boolean)
+          def gm(catxxjb: Boolean) =
+            {} 
+        
+      } : Unit
+    if (7 + 4).<=(6.+(1.+(6))) then
+      if 7.==(0 + (6 + 0)) then {
+        
+      } else {
+        3.f(true, true, 1.+(3), 1 < 4, 3 + 5, (7.+(3)) + 2)
+        
+      }
+      val xje = (vvucin: Boolean, ykx: Boolean) => { {} } : Unit
+      
+    else
+      def cpebujzqsq(tx: Boolean, gmowwc: Boolean, liioogmgn: Boolean, gstsfcyy: Boolean, cidva: Boolean, dncqpxsmyk: Boolean): Int = {
+        7.f(true, true, 3 + 0, 3.==(6), 3 + 1, 4)
+        (6.+(5)) + (0 + (5 + 6))
+      } 
+      var qkufrhxr: Int = cpebujzqsq(true, false, true, 6 == 6, true || true, 2 == (5.+(6)))
+      
+    if (0 < 7).&&(6.==(5)) then {
+      0.f(false, true, 1 + 0, 2 < 1, 7.+(2.+(7)), (4 + 6) + (6.+(2)))
+      
+    }
+    if (3.<(1)).&&(true) then {
+      
+    } else {
+      
+    }
+    
+  }
+  extension (vh: Boolean)
+    def aeiurowfu(jwwzhjw: Boolean, ibz: Boolean, yqncdnqvpn: Int) = {
+      if false then
+        var rtikn: Int = (yqncdnqvpn.+(3)).+(5.+(7))
+        
+      else
+        if (true.&&(!(vh))).||(yqncdnqvpn <= (3.+(2))) then
+          var eayrlw = 2
+          
+        else
+          if (yqncdnqvpn.==(0)) || (!(!(ibz))) then
+            0.f(vh, !(false), yqncdnqvpn.+(yqncdnqvpn), true || false, 2, 4 + yqncdnqvpn)
+            
+          else
+            if ibz || (true.&&(yqncdnqvpn == 2)) then
+              {}
+            else
+              {}
+            
+          7.f(vh, ibz, 0, false, 4.+(yqncdnqvpn.+(2)), 2)
+          
+        6.f(true, !(jwwzhjw), 6.+(1), yqncdnqvpn == yqncdnqvpn, yqncdnqvpn + yqncdnqvpn, (1 + yqncdnqvpn).+(yqncdnqvpn))
+        val ej = (e: Int, csduuukao: Int, icultio: Boolean) => {  } : Unit
+        
+      var zdxgniq: Int = (yqncdnqvpn.+(2)) + (yqncdnqvpn + yqncdnqvpn)
+      zdxgniq = yqncdnqvpn + (yqncdnqvpn.+(yqncdnqvpn + 4))
+      var op = (yqncdnqvpn.+(0)) + yqncdnqvpn
+      
+    } 
+  2.f(true, false, 0.+(4), 7 == 2, 6.+(1.+(5)), 7.+(3.+(3)))
+  val krpizyyqcz = (m: Int, hae: Boolean, g: Boolean, qlbexdotf: Int) => { g } 
+  true.aeiurowfu(2.==(4), krpizyyqcz(2, true, true, 2), 7 + (1.+(5)))
+  val qqhmi = krpizyyqcz(5, false || false, false, 3.+(2))
+  
+}
diff --git a/examples/pil-fun/tests/gens/scala3-big/run b/examples/pil-fun/tests/gens/scala3-big/run
new file mode 100755
index 000000000..c91154903
--- /dev/null
+++ b/examples/pil-fun/tests/gens/scala3-big/run
@@ -0,0 +1,6 @@
+rm -rf build
+
+flock "$1" pack -q install-deps pil-fun && \
+pack run pil-fun scala3 --seed 0,3 --tests 1 --model-fuel 6
+
+rm -rf build
diff --git a/examples/pil-fun/tests/gens/scala3-smaller/expected b/examples/pil-fun/tests/gens/scala3-smaller/expected
new file mode 100644
index 000000000..7e594f27c
--- /dev/null
+++ b/examples/pil-fun/tests/gens/scala3-smaller/expected
@@ -0,0 +1,167 @@
+-------------------
+
+
+@main
+def tvlt(): Unit = {
+  if (5.+(0)) < (2.+(2)) then {
+    var lybokfpr = (4.+(5)).+(4.+(5))
+    lybokfpr = lybokfpr
+    lybokfpr = 4.+(lybokfpr + 1)
+    lybokfpr = lybokfpr
+    var uo: Boolean = (lybokfpr + lybokfpr).==(3 + 0)
+    
+  } else {
+    val qemiujv = (jjh: Int, gxdtmng: Int, zdkvk: Int, n: Int, zadrbgu: Boolean) => {
+      if (jjh + n) == zdkvk then
+        extension (cuohsl: Int)
+          def zmuqm(lnevjvz: Boolean, ssl: Int, ltiv: Int): Int = {
+            if (true.&&(true)).||(zadrbgu) then
+              if lnevjvz.&&(false && (!(zadrbgu))) then
+                {}
+              
+            else
+              if (ltiv.==(zdkvk)) || (ssl.<(4)) then
+                {}
+              else
+                {}
+              
+            (ssl.+(5)) + (n.+(6))
+          } : Int
+        
+      else
+        extension (r: Int)
+          def mrew(nbasrya: Int, jqaak: Boolean, jpinulqg: Boolean, kazmm: Boolean) =
+            {} 
+        def qsokaogqmr() = {  } 
+        
+      val mbn = jjh.+(1)
+      val ltpicdael: Int = 6
+      var woyvgazf: Int = (4 + 0).+(6 + n)
+      
+    } : Unit
+    if (3 == 1) && (0.==(4)) then
+      if (2 + 1).==(1 + 2) then
+        extension (r: Int) def naqxvjgxmb() = { 4 <= (r + 1) } 
+        qemiujv(1, 6, 5.+(4), 4.+(0), (1.naqxvjgxmb()).||(false.||(true)))
+        
+      else
+        if false then
+          {}
+        else
+          if true.||(false && false) then {
+            
+          }
+          
+        var wf: Boolean = (2.+(2)).<(2 + 2)
+        
+      extension (xmfo: Boolean)
+        def qnog(jg: Boolean, tzmk: Int, ogkzgnyugn: Int, bzyegcnug: Int) = {
+          qemiujv(3, 0, 0, tzmk.+(6), 5 < (tzmk + 6))
+          
+        } 
+      
+    else
+      var yqavod = false && true
+      qemiujv(6, 0, 0.+(4), 4.+(1), yqavod || (yqavod && yqavod))
+      val sxfdzhrrh = (zbdd: Boolean, acoykh: Boolean, cbde: Boolean, dngc: Boolean, bqf: Boolean, drzqpmieuq: Boolean) =>
+        {} 
+      
+    if false || (2 <= 4) then
+      val obaztbbz: Boolean = (1.+(2)).==(2 + 6)
+      
+    else
+      val ji: Boolean = (2 + 4).==(0.+(1))
+      val xsjzzhjk = (rbjd: Boolean, msoanazo: Int, dbbygddcsy: Boolean, j: Int, ots: Boolean, axwjjdtw: Boolean) => {  } 
+      
+    
+  }
+  val jrqa: Boolean = !(false)
+  extension (yannoshffy: Int)
+    def kwc(qnbouij: Int, mtsapbnquq: Int): Unit =
+      var k: Boolean = true
+      k = !(!(!(jrqa)))
+       
+  val llqkzrga = (deszncso: Boolean, dtwbodm: Boolean, wvqqvju: Boolean) => {
+    var x = (wvqqvju.&&(true)).||(4 == 5)
+    x = true
+    (6.+(3)).+(0.+(1))
+  } 
+  
+}
+-------------------
+
+val kwyflaeizb = (0.+(5)).+(3.+(5))
+val wfjunn = kwyflaeizb.+(kwyflaeizb + kwyflaeizb)
+var lisrdrrgc: Int = 4.+(1)
+val bh = (agieo: Boolean, qazggfrct: Int) =>
+  if (0.<=(3)) && (!(false)) then {
+    var fwiklya = lisrdrrgc
+    
+  } else {
+    extension (psmyvssee: Int) def kmcysd(mc: Boolean, m: Int, kpwfobj: Int, g: Boolean, sk: Boolean) = {  } 
+    
+  }
+  lisrdrrgc = (kwyflaeizb + qazggfrct).+(kwyflaeizb.+(5))
+  6 
+val qrnqnfy = (yovn: Boolean, t: Boolean) => {
+  if (true.||(yovn)) || yovn then {
+    
+  }
+  yovn
+} 
+
+@main
+def chojxe(): Unit = {
+  if 1 < (kwyflaeizb.+(5)) then
+    {}
+  else
+    {}
+  
+}
+-------------------
+
+extension (xirzqm: Boolean)
+  def efqu(): Unit =
+    val tmxsbu = (5 == 6) && (!(false))
+    var xnzeyxyo: Boolean = 4 == (3 + 4)
+    extension (kg: Boolean)
+      def doxdnly() = {
+        if (1.+(5)).<=(5 + 4) then {
+          xnzeyxyo = true
+          
+        }
+        if true then
+          {}
+        else
+          {}
+        
+      } 
+    var drjp: Boolean = (0 == 0).||(xirzqm && false)
+    if tmxsbu && (tmxsbu && false) then {
+      
+    }
+     
+var cstczqacp = (0 + 3) == (5 + 5)
+
+@main
+def japky(): Unit = {
+  if cstczqacp then {
+    (4 < (0.+(1))).efqu()
+    extension (faco: Boolean)
+      def f(vunluob: Int, xgriaerel: Boolean, rhn: Boolean, ffmlvduuc: Boolean, l: Boolean): Unit = {
+        (5.==(vunluob)).efqu()
+        
+      } : Unit
+    val tkhyrdnc = () => { (0.+(0)).==(3) } : Boolean
+    
+  } else {
+    var gfknyi: Int = (1.+(3)) + (5.+(6))
+    var quusqeb = (4 + 4) + (gfknyi.+(2))
+    cstczqacp.efqu()
+    
+  }
+  var cyopq: Int = (0 + 2) + (3 + 2)
+  cstczqacp = cstczqacp && (true.&&(cstczqacp))
+  val ycchap: Boolean = false
+  
+}
diff --git a/examples/pil-fun/tests/gens/scala3-smaller/run b/examples/pil-fun/tests/gens/scala3-smaller/run
new file mode 100755
index 000000000..7307aaedb
--- /dev/null
+++ b/examples/pil-fun/tests/gens/scala3-smaller/run
@@ -0,0 +1,6 @@
+rm -rf build
+
+flock "$1" pack -q install-deps pil-fun && \
+pack run pil-fun scala3 --seed 0,3 --tests 3 --model-fuel 6
+
+rm -rf build
diff --git a/tests/derivation/core/big con 001/DerivedGen.idr b/tests/derivation/core/big con 001/DerivedGen.idr
new file mode 100644
index 000000000..da85e783f
--- /dev/null
+++ b/tests/derivation/core/big con 001/DerivedGen.idr	
@@ -0,0 +1,28 @@
+module DerivedGen
+
+import RunDerivedGen
+
+import Deriving.Show
+
+%default total
+
+%language ElabReflection
+
+record X where
+  constructor MkX
+  field1 : Nat
+  field2 : Nat
+  field3 : Nat
+  field4 : Nat
+  field5 : Nat
+  field6 : Nat
+  field7 : Nat
+  field8 : Nat
+
+%hint ShowX : Show X; ShowX = %runElab derive
+
+checkedGen : Fuel -> Gen MaybeEmpty X
+checkedGen = deriveGen
+
+main : IO ()
+main = runGs [ G checkedGen ]
diff --git a/tests/derivation/core/big con 001/RunDerivedGen.idr b/tests/derivation/core/big con 001/RunDerivedGen.idr
new file mode 120000
index 000000000..2b18cc56c
--- /dev/null
+++ b/tests/derivation/core/big con 001/RunDerivedGen.idr	
@@ -0,0 +1 @@
+../_common/RunDerivedGen.idr
\ No newline at end of file
diff --git a/tests/derivation/core/big con 001/derive.ipkg b/tests/derivation/core/big con 001/derive.ipkg
new file mode 120000
index 000000000..ff0da46fe
--- /dev/null
+++ b/tests/derivation/core/big con 001/derive.ipkg	
@@ -0,0 +1 @@
+../_common/derive.ipkg
\ No newline at end of file
diff --git a/tests/derivation/core/big con 001/expected b/tests/derivation/core/big con 001/expected
new file mode 100644
index 000000000..699cbef9a
--- /dev/null
+++ b/tests/derivation/core/big con 001/expected	
@@ -0,0 +1,24 @@
+1/2: Building RunDerivedGen (RunDerivedGen.idr)
+2/2: Building DerivedGen (DerivedGen.idr)
+Generated values:
+-----
+-----
+MkX 16 4 17 10 10 17 5 4
+-----
+MkX 12 11 8 15 4 14 7 4
+-----
+MkX 10 1 15 20 0 17 13 17
+-----
+MkX 17 12 2 18 13 10 14 16
+-----
+MkX 16 11 1 3 3 10 12 17
+-----
+MkX 19 7 3 16 6 12 18 2
+-----
+MkX 8 1 18 15 1 7 0 5
+-----
+MkX 15 19 3 19 9 6 4 0
+-----
+MkX 3 13 19 5 20 3 1 13
+-----
+MkX 9 5 0 7 4 7 6 16
diff --git a/tests/derivation/core/big con 001/run b/tests/derivation/core/big con 001/run
new file mode 120000
index 000000000..805165988
--- /dev/null
+++ b/tests/derivation/core/big con 001/run	
@@ -0,0 +1 @@
+../_common/run
\ No newline at end of file
diff --git a/tests/derivation/core/big con 002/DerivedGen.idr b/tests/derivation/core/big con 002/DerivedGen.idr
new file mode 100644
index 000000000..5db00aa16
--- /dev/null
+++ b/tests/derivation/core/big con 002/DerivedGen.idr	
@@ -0,0 +1,32 @@
+module DerivedGen
+
+import RunDerivedGen
+
+import Deriving.Show
+
+%default total
+
+%language ElabReflection
+
+record X where
+  constructor MkX
+  field0  : Nat
+  field1  : Nat
+  field2  : Nat
+  field3  : Nat
+  field4  : Nat
+  field5  : Nat
+  field6  : Nat
+  field7  : Nat
+  field8  : Nat
+  field9  : Nat
+  field10 : Nat
+  field11 : Nat
+
+%hint ShowX : Show X; ShowX = %runElab derive
+
+checkedGen : Fuel -> Gen MaybeEmpty X
+checkedGen = deriveGen
+
+main : IO ()
+main = runGs [ G checkedGen ]
diff --git a/tests/derivation/core/big con 002/RunDerivedGen.idr b/tests/derivation/core/big con 002/RunDerivedGen.idr
new file mode 120000
index 000000000..2b18cc56c
--- /dev/null
+++ b/tests/derivation/core/big con 002/RunDerivedGen.idr	
@@ -0,0 +1 @@
+../_common/RunDerivedGen.idr
\ No newline at end of file
diff --git a/tests/derivation/core/big con 002/derive.ipkg b/tests/derivation/core/big con 002/derive.ipkg
new file mode 120000
index 000000000..ff0da46fe
--- /dev/null
+++ b/tests/derivation/core/big con 002/derive.ipkg	
@@ -0,0 +1 @@
+../_common/derive.ipkg
\ No newline at end of file
diff --git a/tests/derivation/core/big con 002/expected b/tests/derivation/core/big con 002/expected
new file mode 100644
index 000000000..7cb77e0d7
--- /dev/null
+++ b/tests/derivation/core/big con 002/expected	
@@ -0,0 +1,24 @@
+1/2: Building RunDerivedGen (RunDerivedGen.idr)
+2/2: Building DerivedGen (DerivedGen.idr)
+Generated values:
+-----
+-----
+MkX 16 4 17 10 10 17 5 4 12 11 8 15
+-----
+MkX 4 14 7 4 10 1 15 20 0 17 13 17
+-----
+MkX 17 12 2 18 13 10 14 16 16 11 1 3
+-----
+MkX 3 10 12 17 19 7 3 16 6 12 18 2
+-----
+MkX 8 1 18 15 1 7 0 5 15 19 3 19
+-----
+MkX 9 6 4 0 3 13 19 5 20 3 1 13
+-----
+MkX 9 5 0 7 4 7 6 16 3 6 4 5
+-----
+MkX 10 11 2 11 12 13 19 15 5 7 10 18
+-----
+MkX 2 14 9 7 20 13 3 10 17 7 6 20
+-----
+MkX 19 13 5 1 20 12 19 17 2 12 20 14
diff --git a/tests/derivation/core/big con 002/run b/tests/derivation/core/big con 002/run
new file mode 120000
index 000000000..805165988
--- /dev/null
+++ b/tests/derivation/core/big con 002/run	
@@ -0,0 +1 @@
+../_common/run
\ No newline at end of file