diff --git a/f/loom.c b/f/loom.c index 88a056a13..a481a7771 100644 --- a/f/loom.c +++ b/f/loom.c @@ -574,6 +574,554 @@ _frag_phat(u2_noun a, u2_noun b) return b; } +/* code generated */ +static u2_noun _fragbyte(u2_noun b, c3_w byt) { + switch(byt) { + case 0: b = u2_h(u2_h(u2_h(u2_h(u2_h(u2_h(u2_h(u2_h(b)))))))); break; + case 1: b = u2_h(u2_h(u2_h(u2_h(u2_h(u2_h(u2_h(u2_t(b)))))))); break; + case 2: b = u2_h(u2_h(u2_h(u2_h(u2_h(u2_h(u2_t(u2_h(b)))))))); break; + case 3: b = u2_h(u2_h(u2_h(u2_h(u2_h(u2_h(u2_t(u2_t(b)))))))); break; + case 4: b = u2_h(u2_h(u2_h(u2_h(u2_h(u2_t(u2_h(u2_h(b)))))))); break; + case 5: b = u2_h(u2_h(u2_h(u2_h(u2_h(u2_t(u2_h(u2_t(b)))))))); break; + case 6: b = u2_h(u2_h(u2_h(u2_h(u2_h(u2_t(u2_t(u2_h(b)))))))); break; + case 7: b = u2_h(u2_h(u2_h(u2_h(u2_h(u2_t(u2_t(u2_t(b)))))))); break; + case 8: b = u2_h(u2_h(u2_h(u2_h(u2_t(u2_h(u2_h(u2_h(b)))))))); break; + case 9: b = u2_h(u2_h(u2_h(u2_h(u2_t(u2_h(u2_h(u2_t(b)))))))); break; + case 10: b = u2_h(u2_h(u2_h(u2_h(u2_t(u2_h(u2_t(u2_h(b)))))))); break; + case 11: b = u2_h(u2_h(u2_h(u2_h(u2_t(u2_h(u2_t(u2_t(b)))))))); break; + case 12: b = u2_h(u2_h(u2_h(u2_h(u2_t(u2_t(u2_h(u2_h(b)))))))); break; + case 13: b = u2_h(u2_h(u2_h(u2_h(u2_t(u2_t(u2_h(u2_t(b)))))))); break; + case 14: b = u2_h(u2_h(u2_h(u2_h(u2_t(u2_t(u2_t(u2_h(b)))))))); break; + case 15: b = u2_h(u2_h(u2_h(u2_h(u2_t(u2_t(u2_t(u2_t(b)))))))); break; + case 16: b = u2_h(u2_h(u2_h(u2_t(u2_h(u2_h(u2_h(u2_h(b)))))))); break; + case 17: b = u2_h(u2_h(u2_h(u2_t(u2_h(u2_h(u2_h(u2_t(b)))))))); break; + case 18: b = u2_h(u2_h(u2_h(u2_t(u2_h(u2_h(u2_t(u2_h(b)))))))); break; + case 19: b = u2_h(u2_h(u2_h(u2_t(u2_h(u2_h(u2_t(u2_t(b)))))))); break; + case 20: b = u2_h(u2_h(u2_h(u2_t(u2_h(u2_t(u2_h(u2_h(b)))))))); break; + case 21: b = u2_h(u2_h(u2_h(u2_t(u2_h(u2_t(u2_h(u2_t(b)))))))); break; + case 22: b = u2_h(u2_h(u2_h(u2_t(u2_h(u2_t(u2_t(u2_h(b)))))))); break; + case 23: b = u2_h(u2_h(u2_h(u2_t(u2_h(u2_t(u2_t(u2_t(b)))))))); break; + case 24: b = u2_h(u2_h(u2_h(u2_t(u2_t(u2_h(u2_h(u2_h(b)))))))); break; + case 25: b = u2_h(u2_h(u2_h(u2_t(u2_t(u2_h(u2_h(u2_t(b)))))))); break; + case 26: b = u2_h(u2_h(u2_h(u2_t(u2_t(u2_h(u2_t(u2_h(b)))))))); break; + case 27: b = u2_h(u2_h(u2_h(u2_t(u2_t(u2_h(u2_t(u2_t(b)))))))); break; + case 28: b = u2_h(u2_h(u2_h(u2_t(u2_t(u2_t(u2_h(u2_h(b)))))))); break; + case 29: b = u2_h(u2_h(u2_h(u2_t(u2_t(u2_t(u2_h(u2_t(b)))))))); break; + case 30: b = u2_h(u2_h(u2_h(u2_t(u2_t(u2_t(u2_t(u2_h(b)))))))); break; + case 31: b = u2_h(u2_h(u2_h(u2_t(u2_t(u2_t(u2_t(u2_t(b)))))))); break; + case 32: b = u2_h(u2_h(u2_t(u2_h(u2_h(u2_h(u2_h(u2_h(b)))))))); break; + case 33: b = u2_h(u2_h(u2_t(u2_h(u2_h(u2_h(u2_h(u2_t(b)))))))); break; + case 34: b = u2_h(u2_h(u2_t(u2_h(u2_h(u2_h(u2_t(u2_h(b)))))))); break; + case 35: b = u2_h(u2_h(u2_t(u2_h(u2_h(u2_h(u2_t(u2_t(b)))))))); break; + case 36: b = u2_h(u2_h(u2_t(u2_h(u2_h(u2_t(u2_h(u2_h(b)))))))); break; + case 37: b = u2_h(u2_h(u2_t(u2_h(u2_h(u2_t(u2_h(u2_t(b)))))))); break; + case 38: b = u2_h(u2_h(u2_t(u2_h(u2_h(u2_t(u2_t(u2_h(b)))))))); break; + case 39: b = u2_h(u2_h(u2_t(u2_h(u2_h(u2_t(u2_t(u2_t(b)))))))); break; + case 40: b = u2_h(u2_h(u2_t(u2_h(u2_t(u2_h(u2_h(u2_h(b)))))))); break; + case 41: b = u2_h(u2_h(u2_t(u2_h(u2_t(u2_h(u2_h(u2_t(b)))))))); break; + case 42: b = u2_h(u2_h(u2_t(u2_h(u2_t(u2_h(u2_t(u2_h(b)))))))); break; + case 43: b = u2_h(u2_h(u2_t(u2_h(u2_t(u2_h(u2_t(u2_t(b)))))))); break; + case 44: b = u2_h(u2_h(u2_t(u2_h(u2_t(u2_t(u2_h(u2_h(b)))))))); break; + case 45: b = u2_h(u2_h(u2_t(u2_h(u2_t(u2_t(u2_h(u2_t(b)))))))); break; + case 46: b = u2_h(u2_h(u2_t(u2_h(u2_t(u2_t(u2_t(u2_h(b)))))))); break; + case 47: b = u2_h(u2_h(u2_t(u2_h(u2_t(u2_t(u2_t(u2_t(b)))))))); break; + case 48: b = u2_h(u2_h(u2_t(u2_t(u2_h(u2_h(u2_h(u2_h(b)))))))); break; + case 49: b = u2_h(u2_h(u2_t(u2_t(u2_h(u2_h(u2_h(u2_t(b)))))))); break; + case 50: b = u2_h(u2_h(u2_t(u2_t(u2_h(u2_h(u2_t(u2_h(b)))))))); break; + case 51: b = u2_h(u2_h(u2_t(u2_t(u2_h(u2_h(u2_t(u2_t(b)))))))); break; + case 52: b = u2_h(u2_h(u2_t(u2_t(u2_h(u2_t(u2_h(u2_h(b)))))))); break; + case 53: b = u2_h(u2_h(u2_t(u2_t(u2_h(u2_t(u2_h(u2_t(b)))))))); break; + case 54: b = u2_h(u2_h(u2_t(u2_t(u2_h(u2_t(u2_t(u2_h(b)))))))); break; + case 55: b = u2_h(u2_h(u2_t(u2_t(u2_h(u2_t(u2_t(u2_t(b)))))))); break; + case 56: b = u2_h(u2_h(u2_t(u2_t(u2_t(u2_h(u2_h(u2_h(b)))))))); break; + case 57: b = u2_h(u2_h(u2_t(u2_t(u2_t(u2_h(u2_h(u2_t(b)))))))); break; + case 58: b = u2_h(u2_h(u2_t(u2_t(u2_t(u2_h(u2_t(u2_h(b)))))))); break; + case 59: b = u2_h(u2_h(u2_t(u2_t(u2_t(u2_h(u2_t(u2_t(b)))))))); break; + case 60: b = u2_h(u2_h(u2_t(u2_t(u2_t(u2_t(u2_h(u2_h(b)))))))); break; + case 61: b = u2_h(u2_h(u2_t(u2_t(u2_t(u2_t(u2_h(u2_t(b)))))))); break; + case 62: b = u2_h(u2_h(u2_t(u2_t(u2_t(u2_t(u2_t(u2_h(b)))))))); break; + case 63: b = u2_h(u2_h(u2_t(u2_t(u2_t(u2_t(u2_t(u2_t(b)))))))); break; + case 64: b = u2_h(u2_t(u2_h(u2_h(u2_h(u2_h(u2_h(u2_h(b)))))))); break; + case 65: b = u2_h(u2_t(u2_h(u2_h(u2_h(u2_h(u2_h(u2_t(b)))))))); break; + case 66: b = u2_h(u2_t(u2_h(u2_h(u2_h(u2_h(u2_t(u2_h(b)))))))); break; + case 67: b = u2_h(u2_t(u2_h(u2_h(u2_h(u2_h(u2_t(u2_t(b)))))))); break; + case 68: b = u2_h(u2_t(u2_h(u2_h(u2_h(u2_t(u2_h(u2_h(b)))))))); break; + case 69: b = u2_h(u2_t(u2_h(u2_h(u2_h(u2_t(u2_h(u2_t(b)))))))); break; + case 70: b = u2_h(u2_t(u2_h(u2_h(u2_h(u2_t(u2_t(u2_h(b)))))))); break; + case 71: b = u2_h(u2_t(u2_h(u2_h(u2_h(u2_t(u2_t(u2_t(b)))))))); break; + case 72: b = u2_h(u2_t(u2_h(u2_h(u2_t(u2_h(u2_h(u2_h(b)))))))); break; + case 73: b = u2_h(u2_t(u2_h(u2_h(u2_t(u2_h(u2_h(u2_t(b)))))))); break; + case 74: b = u2_h(u2_t(u2_h(u2_h(u2_t(u2_h(u2_t(u2_h(b)))))))); break; + case 75: b = u2_h(u2_t(u2_h(u2_h(u2_t(u2_h(u2_t(u2_t(b)))))))); break; + case 76: b = u2_h(u2_t(u2_h(u2_h(u2_t(u2_t(u2_h(u2_h(b)))))))); break; + case 77: b = u2_h(u2_t(u2_h(u2_h(u2_t(u2_t(u2_h(u2_t(b)))))))); break; + case 78: b = u2_h(u2_t(u2_h(u2_h(u2_t(u2_t(u2_t(u2_h(b)))))))); break; + case 79: b = u2_h(u2_t(u2_h(u2_h(u2_t(u2_t(u2_t(u2_t(b)))))))); break; + case 80: b = u2_h(u2_t(u2_h(u2_t(u2_h(u2_h(u2_h(u2_h(b)))))))); break; + case 81: b = u2_h(u2_t(u2_h(u2_t(u2_h(u2_h(u2_h(u2_t(b)))))))); break; + case 82: b = u2_h(u2_t(u2_h(u2_t(u2_h(u2_h(u2_t(u2_h(b)))))))); break; + case 83: b = u2_h(u2_t(u2_h(u2_t(u2_h(u2_h(u2_t(u2_t(b)))))))); break; + case 84: b = u2_h(u2_t(u2_h(u2_t(u2_h(u2_t(u2_h(u2_h(b)))))))); break; + case 85: b = u2_h(u2_t(u2_h(u2_t(u2_h(u2_t(u2_h(u2_t(b)))))))); break; + case 86: b = u2_h(u2_t(u2_h(u2_t(u2_h(u2_t(u2_t(u2_h(b)))))))); break; + case 87: b = u2_h(u2_t(u2_h(u2_t(u2_h(u2_t(u2_t(u2_t(b)))))))); break; + case 88: b = u2_h(u2_t(u2_h(u2_t(u2_t(u2_h(u2_h(u2_h(b)))))))); break; + case 89: b = u2_h(u2_t(u2_h(u2_t(u2_t(u2_h(u2_h(u2_t(b)))))))); break; + case 90: b = u2_h(u2_t(u2_h(u2_t(u2_t(u2_h(u2_t(u2_h(b)))))))); break; + case 91: b = u2_h(u2_t(u2_h(u2_t(u2_t(u2_h(u2_t(u2_t(b)))))))); break; + case 92: b = u2_h(u2_t(u2_h(u2_t(u2_t(u2_t(u2_h(u2_h(b)))))))); break; + case 93: b = u2_h(u2_t(u2_h(u2_t(u2_t(u2_t(u2_h(u2_t(b)))))))); break; + case 94: b = u2_h(u2_t(u2_h(u2_t(u2_t(u2_t(u2_t(u2_h(b)))))))); break; + case 95: b = u2_h(u2_t(u2_h(u2_t(u2_t(u2_t(u2_t(u2_t(b)))))))); break; + case 96: b = u2_h(u2_t(u2_t(u2_h(u2_h(u2_h(u2_h(u2_h(b)))))))); break; + case 97: b = u2_h(u2_t(u2_t(u2_h(u2_h(u2_h(u2_h(u2_t(b)))))))); break; + case 98: b = u2_h(u2_t(u2_t(u2_h(u2_h(u2_h(u2_t(u2_h(b)))))))); break; + case 99: b = u2_h(u2_t(u2_t(u2_h(u2_h(u2_h(u2_t(u2_t(b)))))))); break; + case 100: b = u2_h(u2_t(u2_t(u2_h(u2_h(u2_t(u2_h(u2_h(b)))))))); break; + case 101: b = u2_h(u2_t(u2_t(u2_h(u2_h(u2_t(u2_h(u2_t(b)))))))); break; + case 102: b = u2_h(u2_t(u2_t(u2_h(u2_h(u2_t(u2_t(u2_h(b)))))))); break; + case 103: b = u2_h(u2_t(u2_t(u2_h(u2_h(u2_t(u2_t(u2_t(b)))))))); break; + case 104: b = u2_h(u2_t(u2_t(u2_h(u2_t(u2_h(u2_h(u2_h(b)))))))); break; + case 105: b = u2_h(u2_t(u2_t(u2_h(u2_t(u2_h(u2_h(u2_t(b)))))))); break; + case 106: b = u2_h(u2_t(u2_t(u2_h(u2_t(u2_h(u2_t(u2_h(b)))))))); break; + case 107: b = u2_h(u2_t(u2_t(u2_h(u2_t(u2_h(u2_t(u2_t(b)))))))); break; + case 108: b = u2_h(u2_t(u2_t(u2_h(u2_t(u2_t(u2_h(u2_h(b)))))))); break; + case 109: b = u2_h(u2_t(u2_t(u2_h(u2_t(u2_t(u2_h(u2_t(b)))))))); break; + case 110: b = u2_h(u2_t(u2_t(u2_h(u2_t(u2_t(u2_t(u2_h(b)))))))); break; + case 111: b = u2_h(u2_t(u2_t(u2_h(u2_t(u2_t(u2_t(u2_t(b)))))))); break; + case 112: b = u2_h(u2_t(u2_t(u2_t(u2_h(u2_h(u2_h(u2_h(b)))))))); break; + case 113: b = u2_h(u2_t(u2_t(u2_t(u2_h(u2_h(u2_h(u2_t(b)))))))); break; + case 114: b = u2_h(u2_t(u2_t(u2_t(u2_h(u2_h(u2_t(u2_h(b)))))))); break; + case 115: b = u2_h(u2_t(u2_t(u2_t(u2_h(u2_h(u2_t(u2_t(b)))))))); break; + case 116: b = u2_h(u2_t(u2_t(u2_t(u2_h(u2_t(u2_h(u2_h(b)))))))); break; + case 117: b = u2_h(u2_t(u2_t(u2_t(u2_h(u2_t(u2_h(u2_t(b)))))))); break; + case 118: b = u2_h(u2_t(u2_t(u2_t(u2_h(u2_t(u2_t(u2_h(b)))))))); break; + case 119: b = u2_h(u2_t(u2_t(u2_t(u2_h(u2_t(u2_t(u2_t(b)))))))); break; + case 120: b = u2_h(u2_t(u2_t(u2_t(u2_t(u2_h(u2_h(u2_h(b)))))))); break; + case 121: b = u2_h(u2_t(u2_t(u2_t(u2_t(u2_h(u2_h(u2_t(b)))))))); break; + case 122: b = u2_h(u2_t(u2_t(u2_t(u2_t(u2_h(u2_t(u2_h(b)))))))); break; + case 123: b = u2_h(u2_t(u2_t(u2_t(u2_t(u2_h(u2_t(u2_t(b)))))))); break; + case 124: b = u2_h(u2_t(u2_t(u2_t(u2_t(u2_t(u2_h(u2_h(b)))))))); break; + case 125: b = u2_h(u2_t(u2_t(u2_t(u2_t(u2_t(u2_h(u2_t(b)))))))); break; + case 126: b = u2_h(u2_t(u2_t(u2_t(u2_t(u2_t(u2_t(u2_h(b)))))))); break; + case 127: b = u2_h(u2_t(u2_t(u2_t(u2_t(u2_t(u2_t(u2_t(b)))))))); break; + case 128: b = u2_t(u2_h(u2_h(u2_h(u2_h(u2_h(u2_h(u2_h(b)))))))); break; + case 129: b = u2_t(u2_h(u2_h(u2_h(u2_h(u2_h(u2_h(u2_t(b)))))))); break; + case 130: b = u2_t(u2_h(u2_h(u2_h(u2_h(u2_h(u2_t(u2_h(b)))))))); break; + case 131: b = u2_t(u2_h(u2_h(u2_h(u2_h(u2_h(u2_t(u2_t(b)))))))); break; + case 132: b = u2_t(u2_h(u2_h(u2_h(u2_h(u2_t(u2_h(u2_h(b)))))))); break; + case 133: b = u2_t(u2_h(u2_h(u2_h(u2_h(u2_t(u2_h(u2_t(b)))))))); break; + case 134: b = u2_t(u2_h(u2_h(u2_h(u2_h(u2_t(u2_t(u2_h(b)))))))); break; + case 135: b = u2_t(u2_h(u2_h(u2_h(u2_h(u2_t(u2_t(u2_t(b)))))))); break; + case 136: b = u2_t(u2_h(u2_h(u2_h(u2_t(u2_h(u2_h(u2_h(b)))))))); break; + case 137: b = u2_t(u2_h(u2_h(u2_h(u2_t(u2_h(u2_h(u2_t(b)))))))); break; + case 138: b = u2_t(u2_h(u2_h(u2_h(u2_t(u2_h(u2_t(u2_h(b)))))))); break; + case 139: b = u2_t(u2_h(u2_h(u2_h(u2_t(u2_h(u2_t(u2_t(b)))))))); break; + case 140: b = u2_t(u2_h(u2_h(u2_h(u2_t(u2_t(u2_h(u2_h(b)))))))); break; + case 141: b = u2_t(u2_h(u2_h(u2_h(u2_t(u2_t(u2_h(u2_t(b)))))))); break; + case 142: b = u2_t(u2_h(u2_h(u2_h(u2_t(u2_t(u2_t(u2_h(b)))))))); break; + case 143: b = u2_t(u2_h(u2_h(u2_h(u2_t(u2_t(u2_t(u2_t(b)))))))); break; + case 144: b = u2_t(u2_h(u2_h(u2_t(u2_h(u2_h(u2_h(u2_h(b)))))))); break; + case 145: b = u2_t(u2_h(u2_h(u2_t(u2_h(u2_h(u2_h(u2_t(b)))))))); break; + case 146: b = u2_t(u2_h(u2_h(u2_t(u2_h(u2_h(u2_t(u2_h(b)))))))); break; + case 147: b = u2_t(u2_h(u2_h(u2_t(u2_h(u2_h(u2_t(u2_t(b)))))))); break; + case 148: b = u2_t(u2_h(u2_h(u2_t(u2_h(u2_t(u2_h(u2_h(b)))))))); break; + case 149: b = u2_t(u2_h(u2_h(u2_t(u2_h(u2_t(u2_h(u2_t(b)))))))); break; + case 150: b = u2_t(u2_h(u2_h(u2_t(u2_h(u2_t(u2_t(u2_h(b)))))))); break; + case 151: b = u2_t(u2_h(u2_h(u2_t(u2_h(u2_t(u2_t(u2_t(b)))))))); break; + case 152: b = u2_t(u2_h(u2_h(u2_t(u2_t(u2_h(u2_h(u2_h(b)))))))); break; + case 153: b = u2_t(u2_h(u2_h(u2_t(u2_t(u2_h(u2_h(u2_t(b)))))))); break; + case 154: b = u2_t(u2_h(u2_h(u2_t(u2_t(u2_h(u2_t(u2_h(b)))))))); break; + case 155: b = u2_t(u2_h(u2_h(u2_t(u2_t(u2_h(u2_t(u2_t(b)))))))); break; + case 156: b = u2_t(u2_h(u2_h(u2_t(u2_t(u2_t(u2_h(u2_h(b)))))))); break; + case 157: b = u2_t(u2_h(u2_h(u2_t(u2_t(u2_t(u2_h(u2_t(b)))))))); break; + case 158: b = u2_t(u2_h(u2_h(u2_t(u2_t(u2_t(u2_t(u2_h(b)))))))); break; + case 159: b = u2_t(u2_h(u2_h(u2_t(u2_t(u2_t(u2_t(u2_t(b)))))))); break; + case 160: b = u2_t(u2_h(u2_t(u2_h(u2_h(u2_h(u2_h(u2_h(b)))))))); break; + case 161: b = u2_t(u2_h(u2_t(u2_h(u2_h(u2_h(u2_h(u2_t(b)))))))); break; + case 162: b = u2_t(u2_h(u2_t(u2_h(u2_h(u2_h(u2_t(u2_h(b)))))))); break; + case 163: b = u2_t(u2_h(u2_t(u2_h(u2_h(u2_h(u2_t(u2_t(b)))))))); break; + case 164: b = u2_t(u2_h(u2_t(u2_h(u2_h(u2_t(u2_h(u2_h(b)))))))); break; + case 165: b = u2_t(u2_h(u2_t(u2_h(u2_h(u2_t(u2_h(u2_t(b)))))))); break; + case 166: b = u2_t(u2_h(u2_t(u2_h(u2_h(u2_t(u2_t(u2_h(b)))))))); break; + case 167: b = u2_t(u2_h(u2_t(u2_h(u2_h(u2_t(u2_t(u2_t(b)))))))); break; + case 168: b = u2_t(u2_h(u2_t(u2_h(u2_t(u2_h(u2_h(u2_h(b)))))))); break; + case 169: b = u2_t(u2_h(u2_t(u2_h(u2_t(u2_h(u2_h(u2_t(b)))))))); break; + case 170: b = u2_t(u2_h(u2_t(u2_h(u2_t(u2_h(u2_t(u2_h(b)))))))); break; + case 171: b = u2_t(u2_h(u2_t(u2_h(u2_t(u2_h(u2_t(u2_t(b)))))))); break; + case 172: b = u2_t(u2_h(u2_t(u2_h(u2_t(u2_t(u2_h(u2_h(b)))))))); break; + case 173: b = u2_t(u2_h(u2_t(u2_h(u2_t(u2_t(u2_h(u2_t(b)))))))); break; + case 174: b = u2_t(u2_h(u2_t(u2_h(u2_t(u2_t(u2_t(u2_h(b)))))))); break; + case 175: b = u2_t(u2_h(u2_t(u2_h(u2_t(u2_t(u2_t(u2_t(b)))))))); break; + case 176: b = u2_t(u2_h(u2_t(u2_t(u2_h(u2_h(u2_h(u2_h(b)))))))); break; + case 177: b = u2_t(u2_h(u2_t(u2_t(u2_h(u2_h(u2_h(u2_t(b)))))))); break; + case 178: b = u2_t(u2_h(u2_t(u2_t(u2_h(u2_h(u2_t(u2_h(b)))))))); break; + case 179: b = u2_t(u2_h(u2_t(u2_t(u2_h(u2_h(u2_t(u2_t(b)))))))); break; + case 180: b = u2_t(u2_h(u2_t(u2_t(u2_h(u2_t(u2_h(u2_h(b)))))))); break; + case 181: b = u2_t(u2_h(u2_t(u2_t(u2_h(u2_t(u2_h(u2_t(b)))))))); break; + case 182: b = u2_t(u2_h(u2_t(u2_t(u2_h(u2_t(u2_t(u2_h(b)))))))); break; + case 183: b = u2_t(u2_h(u2_t(u2_t(u2_h(u2_t(u2_t(u2_t(b)))))))); break; + case 184: b = u2_t(u2_h(u2_t(u2_t(u2_t(u2_h(u2_h(u2_h(b)))))))); break; + case 185: b = u2_t(u2_h(u2_t(u2_t(u2_t(u2_h(u2_h(u2_t(b)))))))); break; + case 186: b = u2_t(u2_h(u2_t(u2_t(u2_t(u2_h(u2_t(u2_h(b)))))))); break; + case 187: b = u2_t(u2_h(u2_t(u2_t(u2_t(u2_h(u2_t(u2_t(b)))))))); break; + case 188: b = u2_t(u2_h(u2_t(u2_t(u2_t(u2_t(u2_h(u2_h(b)))))))); break; + case 189: b = u2_t(u2_h(u2_t(u2_t(u2_t(u2_t(u2_h(u2_t(b)))))))); break; + case 190: b = u2_t(u2_h(u2_t(u2_t(u2_t(u2_t(u2_t(u2_h(b)))))))); break; + case 191: b = u2_t(u2_h(u2_t(u2_t(u2_t(u2_t(u2_t(u2_t(b)))))))); break; + case 192: b = u2_t(u2_t(u2_h(u2_h(u2_h(u2_h(u2_h(u2_h(b)))))))); break; + case 193: b = u2_t(u2_t(u2_h(u2_h(u2_h(u2_h(u2_h(u2_t(b)))))))); break; + case 194: b = u2_t(u2_t(u2_h(u2_h(u2_h(u2_h(u2_t(u2_h(b)))))))); break; + case 195: b = u2_t(u2_t(u2_h(u2_h(u2_h(u2_h(u2_t(u2_t(b)))))))); break; + case 196: b = u2_t(u2_t(u2_h(u2_h(u2_h(u2_t(u2_h(u2_h(b)))))))); break; + case 197: b = u2_t(u2_t(u2_h(u2_h(u2_h(u2_t(u2_h(u2_t(b)))))))); break; + case 198: b = u2_t(u2_t(u2_h(u2_h(u2_h(u2_t(u2_t(u2_h(b)))))))); break; + case 199: b = u2_t(u2_t(u2_h(u2_h(u2_h(u2_t(u2_t(u2_t(b)))))))); break; + case 200: b = u2_t(u2_t(u2_h(u2_h(u2_t(u2_h(u2_h(u2_h(b)))))))); break; + case 201: b = u2_t(u2_t(u2_h(u2_h(u2_t(u2_h(u2_h(u2_t(b)))))))); break; + case 202: b = u2_t(u2_t(u2_h(u2_h(u2_t(u2_h(u2_t(u2_h(b)))))))); break; + case 203: b = u2_t(u2_t(u2_h(u2_h(u2_t(u2_h(u2_t(u2_t(b)))))))); break; + case 204: b = u2_t(u2_t(u2_h(u2_h(u2_t(u2_t(u2_h(u2_h(b)))))))); break; + case 205: b = u2_t(u2_t(u2_h(u2_h(u2_t(u2_t(u2_h(u2_t(b)))))))); break; + case 206: b = u2_t(u2_t(u2_h(u2_h(u2_t(u2_t(u2_t(u2_h(b)))))))); break; + case 207: b = u2_t(u2_t(u2_h(u2_h(u2_t(u2_t(u2_t(u2_t(b)))))))); break; + case 208: b = u2_t(u2_t(u2_h(u2_t(u2_h(u2_h(u2_h(u2_h(b)))))))); break; + case 209: b = u2_t(u2_t(u2_h(u2_t(u2_h(u2_h(u2_h(u2_t(b)))))))); break; + case 210: b = u2_t(u2_t(u2_h(u2_t(u2_h(u2_h(u2_t(u2_h(b)))))))); break; + case 211: b = u2_t(u2_t(u2_h(u2_t(u2_h(u2_h(u2_t(u2_t(b)))))))); break; + case 212: b = u2_t(u2_t(u2_h(u2_t(u2_h(u2_t(u2_h(u2_h(b)))))))); break; + case 213: b = u2_t(u2_t(u2_h(u2_t(u2_h(u2_t(u2_h(u2_t(b)))))))); break; + case 214: b = u2_t(u2_t(u2_h(u2_t(u2_h(u2_t(u2_t(u2_h(b)))))))); break; + case 215: b = u2_t(u2_t(u2_h(u2_t(u2_h(u2_t(u2_t(u2_t(b)))))))); break; + case 216: b = u2_t(u2_t(u2_h(u2_t(u2_t(u2_h(u2_h(u2_h(b)))))))); break; + case 217: b = u2_t(u2_t(u2_h(u2_t(u2_t(u2_h(u2_h(u2_t(b)))))))); break; + case 218: b = u2_t(u2_t(u2_h(u2_t(u2_t(u2_h(u2_t(u2_h(b)))))))); break; + case 219: b = u2_t(u2_t(u2_h(u2_t(u2_t(u2_h(u2_t(u2_t(b)))))))); break; + case 220: b = u2_t(u2_t(u2_h(u2_t(u2_t(u2_t(u2_h(u2_h(b)))))))); break; + case 221: b = u2_t(u2_t(u2_h(u2_t(u2_t(u2_t(u2_h(u2_t(b)))))))); break; + case 222: b = u2_t(u2_t(u2_h(u2_t(u2_t(u2_t(u2_t(u2_h(b)))))))); break; + case 223: b = u2_t(u2_t(u2_h(u2_t(u2_t(u2_t(u2_t(u2_t(b)))))))); break; + case 224: b = u2_t(u2_t(u2_t(u2_h(u2_h(u2_h(u2_h(u2_h(b)))))))); break; + case 225: b = u2_t(u2_t(u2_t(u2_h(u2_h(u2_h(u2_h(u2_t(b)))))))); break; + case 226: b = u2_t(u2_t(u2_t(u2_h(u2_h(u2_h(u2_t(u2_h(b)))))))); break; + case 227: b = u2_t(u2_t(u2_t(u2_h(u2_h(u2_h(u2_t(u2_t(b)))))))); break; + case 228: b = u2_t(u2_t(u2_t(u2_h(u2_h(u2_t(u2_h(u2_h(b)))))))); break; + case 229: b = u2_t(u2_t(u2_t(u2_h(u2_h(u2_t(u2_h(u2_t(b)))))))); break; + case 230: b = u2_t(u2_t(u2_t(u2_h(u2_h(u2_t(u2_t(u2_h(b)))))))); break; + case 231: b = u2_t(u2_t(u2_t(u2_h(u2_h(u2_t(u2_t(u2_t(b)))))))); break; + case 232: b = u2_t(u2_t(u2_t(u2_h(u2_t(u2_h(u2_h(u2_h(b)))))))); break; + case 233: b = u2_t(u2_t(u2_t(u2_h(u2_t(u2_h(u2_h(u2_t(b)))))))); break; + case 234: b = u2_t(u2_t(u2_t(u2_h(u2_t(u2_h(u2_t(u2_h(b)))))))); break; + case 235: b = u2_t(u2_t(u2_t(u2_h(u2_t(u2_h(u2_t(u2_t(b)))))))); break; + case 236: b = u2_t(u2_t(u2_t(u2_h(u2_t(u2_t(u2_h(u2_h(b)))))))); break; + case 237: b = u2_t(u2_t(u2_t(u2_h(u2_t(u2_t(u2_h(u2_t(b)))))))); break; + case 238: b = u2_t(u2_t(u2_t(u2_h(u2_t(u2_t(u2_t(u2_h(b)))))))); break; + case 239: b = u2_t(u2_t(u2_t(u2_h(u2_t(u2_t(u2_t(u2_t(b)))))))); break; + case 240: b = u2_t(u2_t(u2_t(u2_t(u2_h(u2_h(u2_h(u2_h(b)))))))); break; + case 241: b = u2_t(u2_t(u2_t(u2_t(u2_h(u2_h(u2_h(u2_t(b)))))))); break; + case 242: b = u2_t(u2_t(u2_t(u2_t(u2_h(u2_h(u2_t(u2_h(b)))))))); break; + case 243: b = u2_t(u2_t(u2_t(u2_t(u2_h(u2_h(u2_t(u2_t(b)))))))); break; + case 244: b = u2_t(u2_t(u2_t(u2_t(u2_h(u2_t(u2_h(u2_h(b)))))))); break; + case 245: b = u2_t(u2_t(u2_t(u2_t(u2_h(u2_t(u2_h(u2_t(b)))))))); break; + case 246: b = u2_t(u2_t(u2_t(u2_t(u2_h(u2_t(u2_t(u2_h(b)))))))); break; + case 247: b = u2_t(u2_t(u2_t(u2_t(u2_h(u2_t(u2_t(u2_t(b)))))))); break; + case 248: b = u2_t(u2_t(u2_t(u2_t(u2_t(u2_h(u2_h(u2_h(b)))))))); break; + case 249: b = u2_t(u2_t(u2_t(u2_t(u2_t(u2_h(u2_h(u2_t(b)))))))); break; + case 250: b = u2_t(u2_t(u2_t(u2_t(u2_t(u2_h(u2_t(u2_h(b)))))))); break; + case 251: b = u2_t(u2_t(u2_t(u2_t(u2_t(u2_h(u2_t(u2_t(b)))))))); break; + case 252: b = u2_t(u2_t(u2_t(u2_t(u2_t(u2_t(u2_h(u2_h(b)))))))); break; + case 253: b = u2_t(u2_t(u2_t(u2_t(u2_t(u2_t(u2_h(u2_t(b)))))))); break; + case 254: b = u2_t(u2_t(u2_t(u2_t(u2_t(u2_t(u2_t(u2_h(b)))))))); break; + case 255: b = u2_t(u2_t(u2_t(u2_t(u2_t(u2_t(u2_t(u2_t(b)))))))); break; + } + + return u2_none; +} + +/* code generated */ +static u2_noun _fragbit(u2_noun b, c3_w bits, c3_w nbits) { + switch(nbits) { + case 1: + switch(bits) { + case 0: return u2_h(b); + case 1: return u2_t(b); + } + case 2: + switch(bits) { + case 0: return u2_h(u2_h(b)); + case 1: return u2_h(u2_t(b)); + case 2: return u2_t(u2_h(b)); + case 3: return u2_t(u2_t(b)); + } + case 3: + switch(bits) { + case 0: return u2_h(u2_h(u2_h(b))); + case 1: return u2_h(u2_h(u2_t(b))); + case 2: return u2_h(u2_t(u2_h(b))); + case 3: return u2_h(u2_t(u2_t(b))); + case 4: return u2_t(u2_h(u2_h(b))); + case 5: return u2_t(u2_h(u2_t(b))); + case 6: return u2_t(u2_t(u2_h(b))); + case 7: return u2_t(u2_t(u2_t(b))); + } + case 4: + switch(bits) { + case 0: return u2_h(u2_h(u2_h(u2_h(b)))); + case 1: return u2_h(u2_h(u2_h(u2_t(b)))); + case 2: return u2_h(u2_h(u2_t(u2_h(b)))); + case 3: return u2_h(u2_h(u2_t(u2_t(b)))); + case 4: return u2_h(u2_t(u2_h(u2_h(b)))); + case 5: return u2_h(u2_t(u2_h(u2_t(b)))); + case 6: return u2_h(u2_t(u2_t(u2_h(b)))); + case 7: return u2_h(u2_t(u2_t(u2_t(b)))); + case 8: return u2_t(u2_h(u2_h(u2_h(b)))); + case 9: return u2_t(u2_h(u2_h(u2_t(b)))); + case 10: return u2_t(u2_h(u2_t(u2_h(b)))); + case 11: return u2_t(u2_h(u2_t(u2_t(b)))); + case 12: return u2_t(u2_t(u2_h(u2_h(b)))); + case 13: return u2_t(u2_t(u2_h(u2_t(b)))); + case 14: return u2_t(u2_t(u2_t(u2_h(b)))); + case 15: return u2_t(u2_t(u2_t(u2_t(b)))); + } + case 5: + switch(bits) { + case 0: return u2_h(u2_h(u2_h(u2_h(u2_h(b))))); + case 1: return u2_h(u2_h(u2_h(u2_h(u2_t(b))))); + case 2: return u2_h(u2_h(u2_h(u2_t(u2_h(b))))); + case 3: return u2_h(u2_h(u2_h(u2_t(u2_t(b))))); + case 4: return u2_h(u2_h(u2_t(u2_h(u2_h(b))))); + case 5: return u2_h(u2_h(u2_t(u2_h(u2_t(b))))); + case 6: return u2_h(u2_h(u2_t(u2_t(u2_h(b))))); + case 7: return u2_h(u2_h(u2_t(u2_t(u2_t(b))))); + case 8: return u2_h(u2_t(u2_h(u2_h(u2_h(b))))); + case 9: return u2_h(u2_t(u2_h(u2_h(u2_t(b))))); + case 10: return u2_h(u2_t(u2_h(u2_t(u2_h(b))))); + case 11: return u2_h(u2_t(u2_h(u2_t(u2_t(b))))); + case 12: return u2_h(u2_t(u2_t(u2_h(u2_h(b))))); + case 13: return u2_h(u2_t(u2_t(u2_h(u2_t(b))))); + case 14: return u2_h(u2_t(u2_t(u2_t(u2_h(b))))); + case 15: return u2_h(u2_t(u2_t(u2_t(u2_t(b))))); + case 16: return u2_t(u2_h(u2_h(u2_h(u2_h(b))))); + case 17: return u2_t(u2_h(u2_h(u2_h(u2_t(b))))); + case 18: return u2_t(u2_h(u2_h(u2_t(u2_h(b))))); + case 19: return u2_t(u2_h(u2_h(u2_t(u2_t(b))))); + case 20: return u2_t(u2_h(u2_t(u2_h(u2_h(b))))); + case 21: return u2_t(u2_h(u2_t(u2_h(u2_t(b))))); + case 22: return u2_t(u2_h(u2_t(u2_t(u2_h(b))))); + case 23: return u2_t(u2_h(u2_t(u2_t(u2_t(b))))); + case 24: return u2_t(u2_t(u2_h(u2_h(u2_h(b))))); + case 25: return u2_t(u2_t(u2_h(u2_h(u2_t(b))))); + case 26: return u2_t(u2_t(u2_h(u2_t(u2_h(b))))); + case 27: return u2_t(u2_t(u2_h(u2_t(u2_t(b))))); + case 28: return u2_t(u2_t(u2_t(u2_h(u2_h(b))))); + case 29: return u2_t(u2_t(u2_t(u2_h(u2_t(b))))); + case 30: return u2_t(u2_t(u2_t(u2_t(u2_h(b))))); + case 31: return u2_t(u2_t(u2_t(u2_t(u2_t(b))))); + } + case 6: + switch(bits) { + case 0: return u2_h(u2_h(u2_h(u2_h(u2_h(u2_h(b)))))); + case 1: return u2_h(u2_h(u2_h(u2_h(u2_h(u2_t(b)))))); + case 2: return u2_h(u2_h(u2_h(u2_h(u2_t(u2_h(b)))))); + case 3: return u2_h(u2_h(u2_h(u2_h(u2_t(u2_t(b)))))); + case 4: return u2_h(u2_h(u2_h(u2_t(u2_h(u2_h(b)))))); + case 5: return u2_h(u2_h(u2_h(u2_t(u2_h(u2_t(b)))))); + case 6: return u2_h(u2_h(u2_h(u2_t(u2_t(u2_h(b)))))); + case 7: return u2_h(u2_h(u2_h(u2_t(u2_t(u2_t(b)))))); + case 8: return u2_h(u2_h(u2_t(u2_h(u2_h(u2_h(b)))))); + case 9: return u2_h(u2_h(u2_t(u2_h(u2_h(u2_t(b)))))); + case 10: return u2_h(u2_h(u2_t(u2_h(u2_t(u2_h(b)))))); + case 11: return u2_h(u2_h(u2_t(u2_h(u2_t(u2_t(b)))))); + case 12: return u2_h(u2_h(u2_t(u2_t(u2_h(u2_h(b)))))); + case 13: return u2_h(u2_h(u2_t(u2_t(u2_h(u2_t(b)))))); + case 14: return u2_h(u2_h(u2_t(u2_t(u2_t(u2_h(b)))))); + case 15: return u2_h(u2_h(u2_t(u2_t(u2_t(u2_t(b)))))); + case 16: return u2_h(u2_t(u2_h(u2_h(u2_h(u2_h(b)))))); + case 17: return u2_h(u2_t(u2_h(u2_h(u2_h(u2_t(b)))))); + case 18: return u2_h(u2_t(u2_h(u2_h(u2_t(u2_h(b)))))); + case 19: return u2_h(u2_t(u2_h(u2_h(u2_t(u2_t(b)))))); + case 20: return u2_h(u2_t(u2_h(u2_t(u2_h(u2_h(b)))))); + case 21: return u2_h(u2_t(u2_h(u2_t(u2_h(u2_t(b)))))); + case 22: return u2_h(u2_t(u2_h(u2_t(u2_t(u2_h(b)))))); + case 23: return u2_h(u2_t(u2_h(u2_t(u2_t(u2_t(b)))))); + case 24: return u2_h(u2_t(u2_t(u2_h(u2_h(u2_h(b)))))); + case 25: return u2_h(u2_t(u2_t(u2_h(u2_h(u2_t(b)))))); + case 26: return u2_h(u2_t(u2_t(u2_h(u2_t(u2_h(b)))))); + case 27: return u2_h(u2_t(u2_t(u2_h(u2_t(u2_t(b)))))); + case 28: return u2_h(u2_t(u2_t(u2_t(u2_h(u2_h(b)))))); + case 29: return u2_h(u2_t(u2_t(u2_t(u2_h(u2_t(b)))))); + case 30: return u2_h(u2_t(u2_t(u2_t(u2_t(u2_h(b)))))); + case 31: return u2_h(u2_t(u2_t(u2_t(u2_t(u2_t(b)))))); + case 32: return u2_t(u2_h(u2_h(u2_h(u2_h(u2_h(b)))))); + case 33: return u2_t(u2_h(u2_h(u2_h(u2_h(u2_t(b)))))); + case 34: return u2_t(u2_h(u2_h(u2_h(u2_t(u2_h(b)))))); + case 35: return u2_t(u2_h(u2_h(u2_h(u2_t(u2_t(b)))))); + case 36: return u2_t(u2_h(u2_h(u2_t(u2_h(u2_h(b)))))); + case 37: return u2_t(u2_h(u2_h(u2_t(u2_h(u2_t(b)))))); + case 38: return u2_t(u2_h(u2_h(u2_t(u2_t(u2_h(b)))))); + case 39: return u2_t(u2_h(u2_h(u2_t(u2_t(u2_t(b)))))); + case 40: return u2_t(u2_h(u2_t(u2_h(u2_h(u2_h(b)))))); + case 41: return u2_t(u2_h(u2_t(u2_h(u2_h(u2_t(b)))))); + case 42: return u2_t(u2_h(u2_t(u2_h(u2_t(u2_h(b)))))); + case 43: return u2_t(u2_h(u2_t(u2_h(u2_t(u2_t(b)))))); + case 44: return u2_t(u2_h(u2_t(u2_t(u2_h(u2_h(b)))))); + case 45: return u2_t(u2_h(u2_t(u2_t(u2_h(u2_t(b)))))); + case 46: return u2_t(u2_h(u2_t(u2_t(u2_t(u2_h(b)))))); + case 47: return u2_t(u2_h(u2_t(u2_t(u2_t(u2_t(b)))))); + case 48: return u2_t(u2_t(u2_h(u2_h(u2_h(u2_h(b)))))); + case 49: return u2_t(u2_t(u2_h(u2_h(u2_h(u2_t(b)))))); + case 50: return u2_t(u2_t(u2_h(u2_h(u2_t(u2_h(b)))))); + case 51: return u2_t(u2_t(u2_h(u2_h(u2_t(u2_t(b)))))); + case 52: return u2_t(u2_t(u2_h(u2_t(u2_h(u2_h(b)))))); + case 53: return u2_t(u2_t(u2_h(u2_t(u2_h(u2_t(b)))))); + case 54: return u2_t(u2_t(u2_h(u2_t(u2_t(u2_h(b)))))); + case 55: return u2_t(u2_t(u2_h(u2_t(u2_t(u2_t(b)))))); + case 56: return u2_t(u2_t(u2_t(u2_h(u2_h(u2_h(b)))))); + case 57: return u2_t(u2_t(u2_t(u2_h(u2_h(u2_t(b)))))); + case 58: return u2_t(u2_t(u2_t(u2_h(u2_t(u2_h(b)))))); + case 59: return u2_t(u2_t(u2_t(u2_h(u2_t(u2_t(b)))))); + case 60: return u2_t(u2_t(u2_t(u2_t(u2_h(u2_h(b)))))); + case 61: return u2_t(u2_t(u2_t(u2_t(u2_h(u2_t(b)))))); + case 62: return u2_t(u2_t(u2_t(u2_t(u2_t(u2_h(b)))))); + case 63: return u2_t(u2_t(u2_t(u2_t(u2_t(u2_t(b)))))); + } + case 7: + switch(bits) { + case 0: return u2_h(u2_h(u2_h(u2_h(u2_h(u2_h(u2_h(b))))))); + case 1: return u2_h(u2_h(u2_h(u2_h(u2_h(u2_h(u2_t(b))))))); + case 2: return u2_h(u2_h(u2_h(u2_h(u2_h(u2_t(u2_h(b))))))); + case 3: return u2_h(u2_h(u2_h(u2_h(u2_h(u2_t(u2_t(b))))))); + case 4: return u2_h(u2_h(u2_h(u2_h(u2_t(u2_h(u2_h(b))))))); + case 5: return u2_h(u2_h(u2_h(u2_h(u2_t(u2_h(u2_t(b))))))); + case 6: return u2_h(u2_h(u2_h(u2_h(u2_t(u2_t(u2_h(b))))))); + case 7: return u2_h(u2_h(u2_h(u2_h(u2_t(u2_t(u2_t(b))))))); + case 8: return u2_h(u2_h(u2_h(u2_t(u2_h(u2_h(u2_h(b))))))); + case 9: return u2_h(u2_h(u2_h(u2_t(u2_h(u2_h(u2_t(b))))))); + case 10: return u2_h(u2_h(u2_h(u2_t(u2_h(u2_t(u2_h(b))))))); + case 11: return u2_h(u2_h(u2_h(u2_t(u2_h(u2_t(u2_t(b))))))); + case 12: return u2_h(u2_h(u2_h(u2_t(u2_t(u2_h(u2_h(b))))))); + case 13: return u2_h(u2_h(u2_h(u2_t(u2_t(u2_h(u2_t(b))))))); + case 14: return u2_h(u2_h(u2_h(u2_t(u2_t(u2_t(u2_h(b))))))); + case 15: return u2_h(u2_h(u2_h(u2_t(u2_t(u2_t(u2_t(b))))))); + case 16: return u2_h(u2_h(u2_t(u2_h(u2_h(u2_h(u2_h(b))))))); + case 17: return u2_h(u2_h(u2_t(u2_h(u2_h(u2_h(u2_t(b))))))); + case 18: return u2_h(u2_h(u2_t(u2_h(u2_h(u2_t(u2_h(b))))))); + case 19: return u2_h(u2_h(u2_t(u2_h(u2_h(u2_t(u2_t(b))))))); + case 20: return u2_h(u2_h(u2_t(u2_h(u2_t(u2_h(u2_h(b))))))); + case 21: return u2_h(u2_h(u2_t(u2_h(u2_t(u2_h(u2_t(b))))))); + case 22: return u2_h(u2_h(u2_t(u2_h(u2_t(u2_t(u2_h(b))))))); + case 23: return u2_h(u2_h(u2_t(u2_h(u2_t(u2_t(u2_t(b))))))); + case 24: return u2_h(u2_h(u2_t(u2_t(u2_h(u2_h(u2_h(b))))))); + case 25: return u2_h(u2_h(u2_t(u2_t(u2_h(u2_h(u2_t(b))))))); + case 26: return u2_h(u2_h(u2_t(u2_t(u2_h(u2_t(u2_h(b))))))); + case 27: return u2_h(u2_h(u2_t(u2_t(u2_h(u2_t(u2_t(b))))))); + case 28: return u2_h(u2_h(u2_t(u2_t(u2_t(u2_h(u2_h(b))))))); + case 29: return u2_h(u2_h(u2_t(u2_t(u2_t(u2_h(u2_t(b))))))); + case 30: return u2_h(u2_h(u2_t(u2_t(u2_t(u2_t(u2_h(b))))))); + case 31: return u2_h(u2_h(u2_t(u2_t(u2_t(u2_t(u2_t(b))))))); + case 32: return u2_h(u2_t(u2_h(u2_h(u2_h(u2_h(u2_h(b))))))); + case 33: return u2_h(u2_t(u2_h(u2_h(u2_h(u2_h(u2_t(b))))))); + case 34: return u2_h(u2_t(u2_h(u2_h(u2_h(u2_t(u2_h(b))))))); + case 35: return u2_h(u2_t(u2_h(u2_h(u2_h(u2_t(u2_t(b))))))); + case 36: return u2_h(u2_t(u2_h(u2_h(u2_t(u2_h(u2_h(b))))))); + case 37: return u2_h(u2_t(u2_h(u2_h(u2_t(u2_h(u2_t(b))))))); + case 38: return u2_h(u2_t(u2_h(u2_h(u2_t(u2_t(u2_h(b))))))); + case 39: return u2_h(u2_t(u2_h(u2_h(u2_t(u2_t(u2_t(b))))))); + case 40: return u2_h(u2_t(u2_h(u2_t(u2_h(u2_h(u2_h(b))))))); + case 41: return u2_h(u2_t(u2_h(u2_t(u2_h(u2_h(u2_t(b))))))); + case 42: return u2_h(u2_t(u2_h(u2_t(u2_h(u2_t(u2_h(b))))))); + case 43: return u2_h(u2_t(u2_h(u2_t(u2_h(u2_t(u2_t(b))))))); + case 44: return u2_h(u2_t(u2_h(u2_t(u2_t(u2_h(u2_h(b))))))); + case 45: return u2_h(u2_t(u2_h(u2_t(u2_t(u2_h(u2_t(b))))))); + case 46: return u2_h(u2_t(u2_h(u2_t(u2_t(u2_t(u2_h(b))))))); + case 47: return u2_h(u2_t(u2_h(u2_t(u2_t(u2_t(u2_t(b))))))); + case 48: return u2_h(u2_t(u2_t(u2_h(u2_h(u2_h(u2_h(b))))))); + case 49: return u2_h(u2_t(u2_t(u2_h(u2_h(u2_h(u2_t(b))))))); + case 50: return u2_h(u2_t(u2_t(u2_h(u2_h(u2_t(u2_h(b))))))); + case 51: return u2_h(u2_t(u2_t(u2_h(u2_h(u2_t(u2_t(b))))))); + case 52: return u2_h(u2_t(u2_t(u2_h(u2_t(u2_h(u2_h(b))))))); + case 53: return u2_h(u2_t(u2_t(u2_h(u2_t(u2_h(u2_t(b))))))); + case 54: return u2_h(u2_t(u2_t(u2_h(u2_t(u2_t(u2_h(b))))))); + case 55: return u2_h(u2_t(u2_t(u2_h(u2_t(u2_t(u2_t(b))))))); + case 56: return u2_h(u2_t(u2_t(u2_t(u2_h(u2_h(u2_h(b))))))); + case 57: return u2_h(u2_t(u2_t(u2_t(u2_h(u2_h(u2_t(b))))))); + case 58: return u2_h(u2_t(u2_t(u2_t(u2_h(u2_t(u2_h(b))))))); + case 59: return u2_h(u2_t(u2_t(u2_t(u2_h(u2_t(u2_t(b))))))); + case 60: return u2_h(u2_t(u2_t(u2_t(u2_t(u2_h(u2_h(b))))))); + case 61: return u2_h(u2_t(u2_t(u2_t(u2_t(u2_h(u2_t(b))))))); + case 62: return u2_h(u2_t(u2_t(u2_t(u2_t(u2_t(u2_h(b))))))); + case 63: return u2_h(u2_t(u2_t(u2_t(u2_t(u2_t(u2_t(b))))))); + case 64: return u2_t(u2_h(u2_h(u2_h(u2_h(u2_h(u2_h(b))))))); + case 65: return u2_t(u2_h(u2_h(u2_h(u2_h(u2_h(u2_t(b))))))); + case 66: return u2_t(u2_h(u2_h(u2_h(u2_h(u2_t(u2_h(b))))))); + case 67: return u2_t(u2_h(u2_h(u2_h(u2_h(u2_t(u2_t(b))))))); + case 68: return u2_t(u2_h(u2_h(u2_h(u2_t(u2_h(u2_h(b))))))); + case 69: return u2_t(u2_h(u2_h(u2_h(u2_t(u2_h(u2_t(b))))))); + case 70: return u2_t(u2_h(u2_h(u2_h(u2_t(u2_t(u2_h(b))))))); + case 71: return u2_t(u2_h(u2_h(u2_h(u2_t(u2_t(u2_t(b))))))); + case 72: return u2_t(u2_h(u2_h(u2_t(u2_h(u2_h(u2_h(b))))))); + case 73: return u2_t(u2_h(u2_h(u2_t(u2_h(u2_h(u2_t(b))))))); + case 74: return u2_t(u2_h(u2_h(u2_t(u2_h(u2_t(u2_h(b))))))); + case 75: return u2_t(u2_h(u2_h(u2_t(u2_h(u2_t(u2_t(b))))))); + case 76: return u2_t(u2_h(u2_h(u2_t(u2_t(u2_h(u2_h(b))))))); + case 77: return u2_t(u2_h(u2_h(u2_t(u2_t(u2_h(u2_t(b))))))); + case 78: return u2_t(u2_h(u2_h(u2_t(u2_t(u2_t(u2_h(b))))))); + case 79: return u2_t(u2_h(u2_h(u2_t(u2_t(u2_t(u2_t(b))))))); + case 80: return u2_t(u2_h(u2_t(u2_h(u2_h(u2_h(u2_h(b))))))); + case 81: return u2_t(u2_h(u2_t(u2_h(u2_h(u2_h(u2_t(b))))))); + case 82: return u2_t(u2_h(u2_t(u2_h(u2_h(u2_t(u2_h(b))))))); + case 83: return u2_t(u2_h(u2_t(u2_h(u2_h(u2_t(u2_t(b))))))); + case 84: return u2_t(u2_h(u2_t(u2_h(u2_t(u2_h(u2_h(b))))))); + case 85: return u2_t(u2_h(u2_t(u2_h(u2_t(u2_h(u2_t(b))))))); + case 86: return u2_t(u2_h(u2_t(u2_h(u2_t(u2_t(u2_h(b))))))); + case 87: return u2_t(u2_h(u2_t(u2_h(u2_t(u2_t(u2_t(b))))))); + case 88: return u2_t(u2_h(u2_t(u2_t(u2_h(u2_h(u2_h(b))))))); + case 89: return u2_t(u2_h(u2_t(u2_t(u2_h(u2_h(u2_t(b))))))); + case 90: return u2_t(u2_h(u2_t(u2_t(u2_h(u2_t(u2_h(b))))))); + case 91: return u2_t(u2_h(u2_t(u2_t(u2_h(u2_t(u2_t(b))))))); + case 92: return u2_t(u2_h(u2_t(u2_t(u2_t(u2_h(u2_h(b))))))); + case 93: return u2_t(u2_h(u2_t(u2_t(u2_t(u2_h(u2_t(b))))))); + case 94: return u2_t(u2_h(u2_t(u2_t(u2_t(u2_t(u2_h(b))))))); + case 95: return u2_t(u2_h(u2_t(u2_t(u2_t(u2_t(u2_t(b))))))); + case 96: return u2_t(u2_t(u2_h(u2_h(u2_h(u2_h(u2_h(b))))))); + case 97: return u2_t(u2_t(u2_h(u2_h(u2_h(u2_h(u2_t(b))))))); + case 98: return u2_t(u2_t(u2_h(u2_h(u2_h(u2_t(u2_h(b))))))); + case 99: return u2_t(u2_t(u2_h(u2_h(u2_h(u2_t(u2_t(b))))))); + case 100: return u2_t(u2_t(u2_h(u2_h(u2_t(u2_h(u2_h(b))))))); + case 101: return u2_t(u2_t(u2_h(u2_h(u2_t(u2_h(u2_t(b))))))); + case 102: return u2_t(u2_t(u2_h(u2_h(u2_t(u2_t(u2_h(b))))))); + case 103: return u2_t(u2_t(u2_h(u2_h(u2_t(u2_t(u2_t(b))))))); + case 104: return u2_t(u2_t(u2_h(u2_t(u2_h(u2_h(u2_h(b))))))); + case 105: return u2_t(u2_t(u2_h(u2_t(u2_h(u2_h(u2_t(b))))))); + case 106: return u2_t(u2_t(u2_h(u2_t(u2_h(u2_t(u2_h(b))))))); + case 107: return u2_t(u2_t(u2_h(u2_t(u2_h(u2_t(u2_t(b))))))); + case 108: return u2_t(u2_t(u2_h(u2_t(u2_t(u2_h(u2_h(b))))))); + case 109: return u2_t(u2_t(u2_h(u2_t(u2_t(u2_h(u2_t(b))))))); + case 110: return u2_t(u2_t(u2_h(u2_t(u2_t(u2_t(u2_h(b))))))); + case 111: return u2_t(u2_t(u2_h(u2_t(u2_t(u2_t(u2_t(b))))))); + case 112: return u2_t(u2_t(u2_t(u2_h(u2_h(u2_h(u2_h(b))))))); + case 113: return u2_t(u2_t(u2_t(u2_h(u2_h(u2_h(u2_t(b))))))); + case 114: return u2_t(u2_t(u2_t(u2_h(u2_h(u2_t(u2_h(b))))))); + case 115: return u2_t(u2_t(u2_t(u2_h(u2_h(u2_t(u2_t(b))))))); + case 116: return u2_t(u2_t(u2_t(u2_h(u2_t(u2_h(u2_h(b))))))); + case 117: return u2_t(u2_t(u2_t(u2_h(u2_t(u2_h(u2_t(b))))))); + case 118: return u2_t(u2_t(u2_t(u2_h(u2_t(u2_t(u2_h(b))))))); + case 119: return u2_t(u2_t(u2_t(u2_h(u2_t(u2_t(u2_t(b))))))); + case 120: return u2_t(u2_t(u2_t(u2_t(u2_h(u2_h(u2_h(b))))))); + case 121: return u2_t(u2_t(u2_t(u2_t(u2_h(u2_h(u2_t(b))))))); + case 122: return u2_t(u2_t(u2_t(u2_t(u2_h(u2_t(u2_h(b))))))); + case 123: return u2_t(u2_t(u2_t(u2_t(u2_h(u2_t(u2_t(b))))))); + case 124: return u2_t(u2_t(u2_t(u2_t(u2_t(u2_h(u2_h(b))))))); + case 125: return u2_t(u2_t(u2_t(u2_t(u2_t(u2_h(u2_t(b))))))); + case 126: return u2_t(u2_t(u2_t(u2_t(u2_t(u2_t(u2_h(b))))))); + case 127: return u2_t(u2_t(u2_t(u2_t(u2_t(u2_t(u2_t(b))))))); + } + } + + return u2_none; +} + + /* u2_frag(): ** ** Return fragment (a) of (b), or u2_none if not applicable.