ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-12-17 20:01:32 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'newbreach' of github.com:urbit/urbit into newbreach

Browse Source
This commit is contained in:
C. Guy Yarvin 2014-05-22 13:24:49 -07:00
commit 754c3ba447
1 changed files with 548 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

548
f/loom.c
View File

@ -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.