From cd5f7b5b83d2c3236bf5520525b873fa7afdd12c Mon Sep 17 00:00:00 2001
From: Robert Xiao <brx@cs.ubc.ca>
Date: Thu, 24 Nov 2022 12:02:09 +1300
Subject: [PATCH] Only one (distinct) output location is supported - for now,
 restrict output to one 16-byte-or-less piece

---
 data/languages/WebAssembly-pos-stack.cspec | 765 ---------------------
 1 file changed, 765 deletions(-)

diff --git a/data/languages/WebAssembly-pos-stack.cspec b/data/languages/WebAssembly-pos-stack.cspec
index 15d72b6..94bb0d0 100644
--- a/data/languages/WebAssembly-pos-stack.cspec
+++ b/data/languages/WebAssembly-pos-stack.cspec
@@ -799,771 +799,6 @@
         <pentry minsize="1" maxsize="16">
           <register name="o0o"/>
         </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o1o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o2o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o3o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o4o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o5o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o6o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o7o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o8o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o9o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o10o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o11o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o12o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o13o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o14o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o15o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o16o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o17o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o18o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o19o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o20o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o21o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o22o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o23o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o24o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o25o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o26o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o27o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o28o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o29o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o30o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o31o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o32o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o33o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o34o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o35o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o36o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o37o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o38o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o39o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o40o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o41o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o42o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o43o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o44o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o45o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o46o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o47o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o48o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o49o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o50o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o51o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o52o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o53o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o54o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o55o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o56o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o57o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o58o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o59o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o60o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o61o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o62o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o63o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o64o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o65o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o66o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o67o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o68o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o69o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o70o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o71o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o72o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o73o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o74o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o75o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o76o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o77o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o78o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o79o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o80o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o81o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o82o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o83o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o84o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o85o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o86o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o87o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o88o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o89o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o90o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o91o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o92o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o93o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o94o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o95o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o96o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o97o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o98o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o99o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o100o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o101o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o102o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o103o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o104o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o105o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o106o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o107o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o108o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o109o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o110o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o111o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o112o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o113o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o114o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o115o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o116o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o117o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o118o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o119o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o120o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o121o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o122o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o123o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o124o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o125o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o126o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o127o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o128o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o129o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o130o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o131o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o132o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o133o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o134o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o135o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o136o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o137o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o138o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o139o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o140o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o141o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o142o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o143o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o144o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o145o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o146o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o147o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o148o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o149o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o150o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o151o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o152o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o153o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o154o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o155o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o156o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o157o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o158o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o159o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o160o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o161o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o162o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o163o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o164o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o165o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o166o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o167o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o168o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o169o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o170o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o171o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o172o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o173o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o174o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o175o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o176o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o177o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o178o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o179o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o180o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o181o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o182o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o183o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o184o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o185o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o186o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o187o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o188o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o189o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o190o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o191o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o192o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o193o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o194o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o195o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o196o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o197o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o198o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o199o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o200o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o201o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o202o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o203o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o204o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o205o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o206o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o207o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o208o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o209o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o210o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o211o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o212o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o213o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o214o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o215o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o216o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o217o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o218o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o219o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o220o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o221o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o222o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o223o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o224o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o225o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o226o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o227o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o228o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o229o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o230o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o231o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o232o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o233o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o234o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o235o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o236o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o237o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o238o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o239o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o240o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o241o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o242o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o243o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o244o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o245o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o246o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o247o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o248o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o249o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o250o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o251o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o252o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o253o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o254o"/>
-        </pentry>
-        <pentry minsize="1" maxsize="16">
-          <register name="o255o"/>
-        </pentry>
       </output>
       <unaffected>
         <varnode space="register" offset="0x10000000" size="0x10000000"/>