casts.stable.out.linux.64bit

一个内存数据库的源代码这是服务器端还有客户端

    io.printf("# casting to int\n");	# 1 IOprint_str (_1:void)<-(_2:str)
    io.print(0:int);	# 2 IOprint_val (_3:void)<-(_4:int)
    io.print(1:int);	# 3 IOprint_val (_5:void)<-(_6:int)
    io.print(32767);	# 4 IOprint_val (_7:void)<-(_8:int)
    io.print(32768);	# 5 IOprint_val (_9:void)<-(_10:int)
    io.print(32769);	# 6 IOprint_val (_11:void)<-(_12:int)
    io.print(2147483647);	# 7 IOprint_val (_13:void)<-(_14:int)
    io.print(2147483648);	# 8 IOprint_val (_15:void)<-(_16:lng)
    io.print(2147483649);	# 9 IOprint_val (_17:void)<-(_18:lng)
    io.print(-2147483647:int);	# 10 IOprint_val (_19:void)<-(_20:int)
    io.print(-2147483648);	# 11 IOprint_val (_21:void)<-(_22:lng)
    io.print(-2147483649);	# 12 IOprint_val (_23:void)<-(_24:lng)
    io.printf("# from bit\n");	# 13 IOprint_str (_25:void)<-(_26:str)
    bi := 1:int;	# 14  (bi:int)<-(_6:int)
    io.print(bi);	# 15 IOprint_val (_28:void)<-(bi:int)
    bi := 0:int;	# 16  (bi:int)<-(_4:int)
    io.print(bi);	# 17 IOprint_val (_29:void)<-(bi:int)
    io.printf("# from chr\n");	# 18 IOprint_str (_30:void)<-(_31:str)
    io.print(97:int);	# 19 IOprint_val (_32:void)<-(_33:int)
    io.printf("# from sht\n");	# 20 IOprint_str (_34:void)<-(_35:str)
    sh := 1:sht;	# 21  (sh:sht)<-(_37:sht)
    si := calc.int(sh);	# 22 CALCsht2int (si:int)<-(sh:sht)
    io.print(si);	# 23 IOprint_val (_39:void)<-(si:int)
    sh := 32767:sht;	# 24  (sh:sht)<-(_40:sht)
    si := calc.int(sh);	# 25 CALCsht2int (si:int)<-(sh:sht)
    io.print(si);	# 26 IOprint_val (_41:void)<-(si:int)
    io.printf("# from int\n");	# 27 IOprint_str (_42:void)<-(_43:str)
    io.print(1:int);	# 28 IOprint_val (_44:void)<-(_45:int)
    io.print(32767:int);	# 29 IOprint_val (_46:void)<-(_47:int)
    io.print(32768:int);	# 30 IOprint_val (_48:void)<-(_49:int)
    io.print(2147483647:int);	# 31 IOprint_val (_50:void)<-(_51:int)
    io.print(-2147483647:int);	# 32 IOprint_val (_52:void)<-(_20:int)
    i := calc.+(2147483647:int,1:int);	# 33 CALCbinaryADDintint (i:int)<-(_51:int)(_45:int)
    io.print(i);	# 34 IOprint_val (_54:void)<-(i:int)
    z := calc.-(-2147483647:int,1:int);	# 35 CALCbinarySUBintint (z:int)<-(_20:int)(_45:int)
    io.print(z);	# 36 IOprint_val (_56:void)<-(z:int)
    io.printf("# should this produce nil (overflow)?\n");	# 37 IOprint_str (_57:void)<-(_58:str)
    z := calc.+(2147483647:int,2:int);	# 38 CALCbinaryADDintint (z:int)<-(_51:int)(_59:int)
    io.print(z);	# 39 IOprint_val (_60:void)<-(z:int)
    io.printf("# should this produce nil (overflow)?\n");	# 40 IOprint_str (_61:void)<-(_58:str)
    z := calc.-(-2147483647:int,2:int);	# 41 CALCbinarySUBintint (z:int)<-(_62:int)(_59:int)
    io.print(z);	# 42 IOprint_val (_63:void)<-(z:int)
    io.printf("# from lng\n");	# 43 IOprint_str (_64:void)<-(_65:str)
    io.print(1:int);	# 44 IOprint_val (_66:void)<-(_45:int)
    io.print(2147483647:int);	# 45 IOprint_val (_67:void)<-(_51:int)
    io.print(nil:int);	# 46 IOprint_val (_68:void)<-(_69:int)
    io.print(nil:int);	# 47 IOprint_val (_70:void)<-(_69:int)
    io.print(-2147483647:int);	# 48 IOprint_val (_71:void)<-(_62:int)
    io.print(nil:int);	# 49 IOprint_val (_72:void)<-(_69:int)
    io.print(nil:int);	# 50 IOprint_val (_73:void)<-(_69:int)
    io.printf("# from flt\n");	# 51 IOprint_str (_74:void)<-(_75:str)
    io.print(0:int);	# 52 IOprint_val (_76:void)<-(_77:int)
    io.print(0:int);	# 53 IOprint_val (_78:void)<-(_77:int)
    io.print(0:int);	# 54 IOprint_val (_79:void)<-(_77:int)
    io.print(0:int);	# 55 IOprint_val (_80:void)<-(_77:int)
    io.print(1:int);	# 56 IOprint_val (_81:void)<-(_82:int)
    io.print(0:int);	# 57 IOprint_val (_83:void)<-(_77:int)
    io.print(0:int);	# 58 IOprint_val (_84:void)<-(_77:int)
    io.print(0:int);	# 59 IOprint_val (_85:void)<-(_77:int)
    io.print(-1:int);	# 60 IOprint_val (_86:void)<-(_87:int)
    io.print(nil:int);	# 61 IOprint_val (_88:void)<-(_69:int)
    io.print(nil:int);	# 62 IOprint_val (_89:void)<-(_69:int)
    io.print(nil:int);	# 63 IOprint_val (_90:void)<-(_69:int)
    io.print(nil:int);	# 64 IOprint_val (_91:void)<-(_69:int)
    io.print(nil:int);	# 65 IOprint_val (_92:void)<-(_69:int)
    io.print(nil:int);	# 66 IOprint_val (_93:void)<-(_69:int)
    io.printf("# from dbl\n");	# 67 IOprint_str (_94:void)<-(_95:str)
    io.print(0:int);	# 68 IOprint_val (_96:void)<-(_77:int)
    io.print(0:int);	# 69 IOprint_val (_97:void)<-(_77:int)
    io.print(0:int);	# 70 IOprint_val (_98:void)<-(_77:int)
    io.print(0:int);	# 71 IOprint_val (_99:void)<-(_77:int)
    io.print(1:int);	# 72 IOprint_val (_100:void)<-(_82:int)
    io.print(0:int);	# 73 IOprint_val (_101:void)<-(_77:int)
    io.print(0:int);	# 74 IOprint_val (_102:void)<-(_77:int)
    io.print(0:int);	# 75 IOprint_val (_103:void)<-(_77:int)
    io.print(-1:int);	# 76 IOprint_val (_104:void)<-(_87:int)
    io.print(2147483647:int);	# 77 IOprint_val (_105:void)<-(_106:int)
    io.print(nil:int);	# 78 IOprint_val (_107:void)<-(_108:int)
    io.print(nil:int);	# 79 IOprint_val (_109:void)<-(_108:int)
    io.print(-2147483647:int);	# 80 IOprint_val (_110:void)<-(_111:int)
    io.print(nil:int);	# 81 IOprint_val (_112:void)<-(_108:int)
    io.print(nil:int);	# 82 IOprint_val (_113:void)<-(_108:int)
    io.printf("# from oid\n");	# 83 IOprint_str (_114:void)<-(_115:str)
    io.print(2:int);	# 84 IOprint_val (_116:void)<-(_117:int)
    io.print(2:int);	# 85 IOprint_val (_118:void)<-(_117:int)
    io.print(2147483647:int);	# 86 IOprint_val (_119:void)<-(_106:int)
    io.print(nil:int);	# 87 IOprint_val (_120:void)<-(_108:int)
    io.print(nil:int);	# 88 IOprint_val (_121:void)<-(_108:int)
    io.printf("# from str\n");	# 89 IOprint_str (_122:void)<-(_123:str)
    io.print(0:int);	# 90 IOprint_val (_124:void)<-(_125:int)
    io.print(32767:int);	# 91 IOprint_val (_126:void)<-(_127:int)
    io.print(2147483647:int);	# 92 IOprint_val (_128:void)<-(_106:int)
    io.print(nil:int);	# 93 IOprint_val (_129:void)<-(_108:int)
    io.print(nil:int);	# 94 IOprint_val (_130:void)<-(_108:int)
    io.print(-2147483647:int);	# 95 IOprint_val (_131:void)<-(_111:int)
    io.print(nil:int);	# 96 IOprint_val (_132:void)<-(_108:int)
    io.print(nil:int);	# 97 IOprint_val (_133:void)<-(_108:int)
    io.print(nil:int);	# 98 IOprint_val (_134:void)<-(_108:int)
    io.print(nil:int);	# 99 IOprint_val (_135:void)<-(_108:int)
    io.printf("# to bit\n");	# 100 IOprint_str (_136:void)<-(_137:str)
    io.printf("# from bit\n");	# 101 IOprint_str (_138:void)<-(_139:str)
    io.print(true:bit);	# 102 IOprint_val (_140:void)<-(_141:bit)
    io.print(false:bit);	# 103 IOprint_val (_142:void)<-(_143:bit)
    io.printf("# from chr\n");	# 104 IOprint_str (_144:void)<-(_145:str)
    io.print(true:bit);	# 105 IOprint_val (_146:void)<-(_141:bit)
    c := '\000':chr;	# 106  (c:chr)<-(_148:chr)
    b := calc.bit(c);	# 107 CALCchr2bit (b:bit)<-(c:chr)
    io.print(b);	# 108 IOprint_val (_150:void)<-(b:bit)
    io.printf("# from sht\n");	# 109 IOprint_str (_151:void)<-(_152:str)
    j := 0:sht;	# 110  (j:sht)<-(_154:sht)
    b := calc.bit(j);	# 111 CALCsht2bit (b:bit)<-(j:sht)
    io.print(b);	# 112 IOprint_val (_155:void)<-(b:bit)
    j := 1:sht;	# 113  (j:sht)<-(_156:sht)
    b := calc.bit(j);	# 114 CALCsht2bit (b:bit)<-(j:sht)
    io.print(b);	# 115 IOprint_val (_157:void)<-(b:bit)
    j := -1:sht;	# 116  (j:sht)<-(_158:sht)
    b := calc.bit(j);	# 117 CALCsht2bit (b:bit)<-(j:sht)
    io.print(b);	# 118 IOprint_val (_159:void)<-(b:bit)
    j := 4096:sht;	# 119  (j:sht)<-(_160:sht)
    b := calc.bit(j);	# 120 CALCsht2bit (b:bit)<-(j:sht)
    io.print(b);	# 121 IOprint_val (_161:void)<-(b:bit)
    io.printf("# from int\n");	# 122 IOprint_str (_162:void)<-(_163:str)
    io.print(false:bit);	# 123 IOprint_val (_164:void)<-(_143:bit)
    io.print(true:bit);	# 124 IOprint_val (_165:void)<-(_141:bit)
    io.print(true:bit);	# 125 IOprint_val (_166:void)<-(_141:bit)
    io.print(true:bit);	# 126 IOprint_val (_167:void)<-(_141:bit)
    io.printf("# from lng\n");	# 127 IOprint_str (_168:void)<-(_169:str)
    io.print(false:bit);	# 128 IOprint_val (_170:void)<-(_143:bit)
    io.print(true:bit);	# 129 IOprint_val (_171:void)<-(_141:bit)
    io.print(true:bit);	# 130 IOprint_val (_172:void)<-(_141:bit)
    io.print(true:bit);	# 131 IOprint_val (_173:void)<-(_141:bit)
    io.printf("# from flt\n");	# 132 IOprint_str (_174:void)<-(_175:str)
    io.print(false:bit);	# 133 IOprint_val (_176:void)<-(_143:bit)
    io.print(true:bit);	# 134 IOprint_val (_177:void)<-(_178:bit)
    io.print(true:bit);	# 135 IOprint_val (_179:void)<-(_178:bit)
    io.print(true:bit);	# 136 IOprint_val (_180:void)<-(_178:bit)
    io.print(true:bit);	# 137 IOprint_val (_181:void)<-(_178:bit)
    io.print(true:bit);	# 138 IOprint_val (_182:void)<-(_178:bit)
    io.printf("# from dbl\n");	# 139 IOprint_str (_183:void)<-(_184:str)
    io.print(false:bit);	# 140 IOprint_val (_185:void)<-(_186:bit)
    io.print(true:bit);	# 141 IOprint_val (_187:void)<-(_178:bit)
    io.print(true:bit);	# 142 IOprint_val (_188:void)<-(_178:bit)
    io.print(true:bit);	# 143 IOprint_val (_189:void)<-(_178:bit)
    io.print(true:bit);	# 144 IOprint_val (_190:void)<-(_178:bit)
    io.print(true:bit);	# 145 IOprint_val (_191:void)<-(_178:bit)
    io.printf("# from oid\n");	# 146 IOprint_str (_192:void)<-(_193:str)
    io.print(false:bit);	# 147 IOprint_val (_194:void)<-(_186:bit)
    io.print(true:bit);	# 148 IOprint_val (_195:void)<-(_178:bit)
    io.print(true:bit);	# 149 IOprint_val (_196:void)<-(_178:bit)
    io.print(true:bit);	# 150 IOprint_val (_197:void)<-(_178:bit)
    io.print(true:bit);	# 151 IOprint_val (_198:void)<-(_178:bit)
    io.printf("# from str\n");	# 152 IOprint_str (_199:void)<-(_200:str)
    io.print(true:bit);	# 153 IOprint_val (_201:void)<-(_178:bit)
    io.print(false:bit);	# 154 IOprint_val (_202:void)<-(_186:bit)
    io.print(false:bit);	# 155 IOprint_val (_203:void)<-(_186:bit)
    io.print(true:bit);	# 156 IOprint_val (_204:void)<-(_178:bit)
    io.print(nil:bit);	# 157 IOprint_val (_205:void)<-(_206:bit)
    io.print(nil:bit);	# 158 IOprint_val (_207:void)<-(_206:bit)
    io.printf("# to sht\n");	# 159 IOprint_str (_208:void)<-(_209:str)
    io.printf("# from bit\n");	# 160 IOprint_str (_210:void)<-(_211:str)
    io.print(1:sht);	# 161 IOprint_val (_212:void)<-(_213:sht)
    io.print(0:sht);	# 162 IOprint_val (_214:void)<-(_215:sht)
    io.printf("# from chr\n");	# 163 IOprint_str (_216:void)<-(_217:str)
    io.print(97:sht);	# 164 IOprint_val (_218:void)<-(_219:sht)
    c := '\000':chr;	# 165  (c:chr)<-(_220:chr)
    cs := calc.sht(c);	# 166 CALCchr2sht (cs:sht)<-(c:chr)
    io.print(cs);	# 167 IOprint_val (_222:void)<-(cs:sht)
    io.printf("# from int\n");	# 168 IOprint_str (_223:void)<-(_224:str)
    io.print(0:sht);	# 169 IOprint_val (_225:void)<-(_215:sht)
    io.print(32767:sht);	# 170 IOprint_val (_226:void)<-(_227:sht)
    io.print(nil:sht);	# 171 IOprint_val (_228:void)<-(_229:sht)
    io.print(nil:sht);	# 172 IOprint_val (_230:void)<-(_229:sht)
    io.print(-32767:sht);	# 173 IOprint_val (_231:void)<-(_232:sht)
    io.print(nil:sht);	# 174 IOprint_val (_233:void)<-(_229:sht)
    io.print(nil:sht);	# 175 IOprint_val (_234:void)<-(_229:sht)
    io.print(nil:sht);	# 176 IOprint_val (_235:void)<-(_229:sht)
    io.printf("# from lng\n");	# 177 IOprint_str (_236:void)<-(_237:str)
    io.print(0:sht);	# 178 IOprint_val (_238:void)<-(_215:sht)
    io.print(32767:sht);	# 179 IOprint_val (_239:void)<-(_227:sht)
    io.print(nil:sht);	# 180 IOprint_val (_240:void)<-(_229:sht)
    io.print(nil:sht);	# 181 IOprint_val (_241:void)<-(_229:sht)
    io.print(-32767:sht);	# 182 IOprint_val (_242:void)<-(_232:sht)
    io.print(nil:sht);	# 183 IOprint_val (_243:void)<-(_229:sht)
    io.print(nil:sht);	# 184 IOprint_val (_244:void)<-(_229:sht)
    io.print(nil:sht);	# 185 IOprint_val (_245:void)<-(_229:sht)
    io.printf("# from flt\n");	# 186 IOprint_str (_246:void)<-(_247:str)
    io.print(0:sht);	# 187 IOprint_val (_248:void)<-(_215:sht)
    io.print(0:sht);	# 188 IOprint_val (_249:void)<-(_215:sht)
    io.print(0:sht);	# 189 IOprint_val (_250:void)<-(_215:sht)
    io.print(0:sht);	# 190 IOprint_val (_251:void)<-(_252:sht)
    io.print(1:sht);	# 191 IOprint_val (_253:void)<-(_254:sht)
    io.print(0:sht);	# 192 IOprint_val (_255:void)<-(_252:sht)
    io.print(0:sht);	# 193 IOprint_val (_256:void)<-(_252:sht)
    io.print(0:sht);	# 194 IOprint_val (_257:void)<-(_252:sht)
    io.print(-1:sht);	# 195 IOprint_val (_258:void)<-(_259:sht)
    io.print(32767:sht);	# 196 IOprint_val (_260:void)<-(_227:sht)
    io.print(nil:sht);	# 197 IOprint_val (_261:void)<-(_229:sht)
    io.print(nil:sht);	# 198 IOprint_val (_262:void)<-(_229:sht)
    io.print(-32767:sht);	# 199 IOprint_val (_263:void)<-(_232:sht)
    io.print(nil:sht);	# 200 IOprint_val (_264:void)<-(_229:sht)
    io.print(nil:sht);	# 201 IOprint_val (_265:void)<-(_266:sht)
    io.printf("# from dbl\n");	# 202 IOprint_str (_267:void)<-(_268:str)
    io.print(0:sht);	# 203 IOprint_val (_269:void)<-(_252:sht)
    io.print(0:sht);	# 204 IOprint_val (_270:void)<-(_252:sht)
    io.print(0:sht);	# 205 IOprint_val (_271:void)<-(_252:sht)
    io.print(0:sht);	# 206 IOprint_val (_272:void)<-(_252:sht)
    io.print(1:sht);	# 207 IOprint_val (_273:void)<-(_254:sht)
    io.print(0:sht);	# 208 IOprint_val (_274:void)<-(_252:sht)
    io.print(0:sht);	# 209 IOprint_val (_275:void)<-(_252:sht)
    io.print(0:sht);	# 210 IOprint_val (_276:void)<-(_252:sht)
    io.print(-1:sht);	# 211 IOprint_val (_277:void)<-(_259:sht)
    io.print(32767:sht);	# 212 IOprint_val (_278:void)<-(_279:sht)
    io.print(nil:sht);	# 213 IOprint_val (_280:void)<-(_266:sht)
    io.print(nil:sht);	# 214 IOprint_val (_281:void)<-(_266:sht)
    io.print(-32767:sht);	# 215 IOprint_val (_282:void)<-(_283:sht)
    io.print(nil:sht);	# 216 IOprint_val (_284:void)<-(_266:sht)
    io.print(nil:sht);	# 217 IOprint_val (_285:void)<-(_266:sht)
    io.printf("# from oid\n");	# 218 IOprint_str (_286:void)<-(_287:str)
    io.print(0:sht);	# 219 IOprint_val (_288:void)<-(_289:sht)
    io.print(1:sht);	# 220 IOprint_val (_290:void)<-(_291:sht)
    io.print(4096:sht);	# 221 IOprint_val (_292:void)<-(_293:sht)
    io.print(nil:sht);	# 222 IOprint_val (_294:void)<-(_266:sht)
    io.print(nil:sht);	# 223 IOprint_val (_295:void)<-(_266:sht)
    io.printf("# from str\n");	# 224 IOprint_str (_296:void)<-(_297:str)
    io.print(0:sht);	# 225 IOprint_val (_298:void)<-(_289:sht)
    io.print(32767:sht);	# 226 IOprint_val (_299:void)<-(_279:sht)
    io.print(nil:sht);	# 227 IOprint_val (_300:void)<-(_266:sht)
    io.print(nil:sht);	# 228 IOprint_val (_301:void)<-(_266:sht)
    io.print(-32767:sht);	# 229 IOprint_val (_302:void)<-(_283:sht)
    io.print(nil:sht);	# 230 IOprint_val (_303:void)<-(_304:sht)
    io.print(nil:sht);	# 231 IOprint_val (_305:void)<-(_304:sht)
    io.print(nil:sht);	# 232 IOprint_val (_306:void)<-(_304:sht)
    io.print(nil:sht);	# 233 IOprint_val (_307:void)<-(_304:sht)
    io.printf("# to long\n");	# 234 IOprint_str (_308:void)<-(_309:str)
    io.print(0:lng);	# 235 IOprint_val (_310:void)<-(_311:lng)
    io.print(1:lng);	# 236 IOprint_val (_312:void)<-(_313:lng)
    io.print(32767);	# 237 IOprint_val (_314:void)<-(_315:lng)
    io.print(32768);	# 238 IOprint_val (_316:void)<-(_317:lng)
    io.print(32769);	# 239 IOprint_val (_318:void)<-(_319:lng)
    io.print(2147483647);	# 240 IOprint_val (_320:void)<-(_321:lng)
    io.print(2147483648);	# 241 IOprint_val (_322:void)<-(_323:lng)
    io.print(2147483649);	# 242 IOprint_val (_324:void)<-(_325:lng)
    io.print(-2147483647);	# 243 IOprint_val (_326:void)<-(_327:lng)
    io.print(-2147483648);	# 244 IOprint_val (_328:void)<-(_329:lng)
    io.print(-2147483649);	# 245 IOprint_val (_330:void)<-(_331:lng)
    io.print(9223372036854775807);	# 246 IOprint_val (_332:void)<-(_333:lng)
    io.print(nil:lng);	# 247 IOprint_val (_334:void)<-(_335:lng)
    io.print(nil:lng);	# 248 IOprint_val (_336:void)<-(_335:lng)
    io.print(-9223372036854775807);	# 249 IOprint_val (_337:void)<-(_338:lng)
    io.print(nil:lng);	# 250 IOprint_val (_339:void)<-(_335:lng)
    io.print(nil:lng);	# 251 IOprint_val (_340:void)<-(_335:lng)
    io.printf("# from bit\n");	# 252 IOprint_str (_341:void)<-(_342:str)
    io.print(1:lng);	# 253 IOprint_val (_343:void)<-(_313:lng)
    io.print(0:lng);	# 254 IOprint_val (_344:void)<-(_311:lng)
    io.printf("# from chr\n");	# 255 IOprint_str (_345:void)<-(_346:str)
    io.print(97:lng);	# 256 IOprint_val (_347:void)<-(_348:lng)
    io.printf("# from sht\n");	# 257 IOprint_str (_349:void)<-(_350:str)
    ls := 1:sht;	# 258  (ls:sht)<-(_352:sht)
    ll := calc.lng(ls);	# 259 CALCsht2lng (ll:lng)<-(ls:sht)
    io.print(ll);	# 260 IOprint_val (_354:void)<-(ll:lng)
    lk := 32767:sht;	# 261  (lk:sht)<-(_356:sht)
    ll := calc.lng(lk);	# 262 CALCsht2lng (ll:lng)<-(lk:sht)
    io.print(ll);	# 263 IOprint_val (_357:void)<-(ll:lng)
    io.printf("# from int\n");	# 264 IOprint_str (_358:void)<-(_359:str)
    io.print(1:lng);	# 265 IOprint_val (_360:void)<-(_361:lng)
    io.print(32767:lng);	# 266 IOprint_val (_362:void)<-(_363:lng)
    io.print(32768:lng);	# 267 IOprint_val (_364:void)<-(_365:lng)
    io.print(2147483647:lng);	# 268 IOprint_val (_366:void)<-(_367:lng)
    io.print(-2147483647:lng);	# 269 IOprint_val (_368:void)<-(_369:lng)
    lz := calc.+(2147483647,1);	# 270 CALCbinaryADDintint (lz:int)<-(_371:int)(_372:int)
    l := calc.lng(lz);	# 271 CALCint2lng (l:lng)<-(lz:int)
    io.print(l);	# 272 IOprint_val (_374:void)<-(l:lng)
    lu := calc.-(-2147483647,1);	# 273 CALCbinarySUBintint (lu:int)<-(_376:int)(_372:int)
    l := calc.lng(lu);	# 274 CALCint2lng (l:lng)<-(lu:int)
    io.print(l);	# 275 IOprint_val (_377:void)<-(l:lng)
    io.printf("# should this produce nil (overflow)?\n");	# 276 IOprint_str (_378:void)<-(_379:str)
    la := calc.+(2147483647,2);	# 277 CALCbinaryADDintint (la:int)<-(_371:int)(_381:int)
    io.print(la);	# 278 IOprint_val (_382:void)<-(la:int)
    io.printf("# should this produce nil (overflow)?\n");	# 279 IOprint_str (_383:void)<-(_379:str)
    lb := calc.-(-2147483647,2);	# 280 CALCbinarySUBintint (lb:int)<-(_376:int)(_381:int)
    io.print(lb);	# 281 IOprint_val (_385:void)<-(lb:int)
    io.printf("# from lng\n");	# 282 IOprint_str (_386:void)<-(_387:str)
    io.printf("# from flt\n");	# 283 IOprint_str (_388:void)<-(_389:str)
    io.print(0:lng);	# 284 IOprint_val (_390:void)<-(_391:lng)
    io.print(0:lng);	# 285 IOprint_val (_392:void)<-(_391:lng)
    io.print(0:lng);	# 286 IOprint_val (_393:void)<-(_391:lng)
    io.print(0:lng);	# 287 IOprint_val (_394:void)<-(_391:lng)
    io.print(1:lng);	# 288 IOprint_val (_395:void)<-(_361:lng)
    io.print(0:lng);	# 289 IOprint_val (_396:void)<-(_391:lng)
    io.print(0:lng);	# 290 IOprint_val (_397:void)<-(_391:lng)
    io.print(0:lng);	# 291 IOprint_val (_398:void)<-(_391:lng)
    io.print(-1:lng);	# 292 IOprint_val (_399:void)<-(_400:lng)
    io.print(2147483648:lng);	# 293 IOprint_val (_401:void)<-(_402:lng)
    io.print(2147483648:lng);	# 294 IOprint_val (_403:void)<-(_402:lng)
    io.print(2147483648:lng);	# 295 IOprint_val (_404:void)<-(_402:lng)
    io.print(-2147483648:lng);	# 296 IOprint_val (_405:void)<-(_406:lng)
    io.print(-2147483648:lng);	# 297 IOprint_val (_407:void)<-(_406:lng)
    io.print(-2147483648:lng);	# 298 IOprint_val (_408:void)<-(_406:lng)
    io.print(nil:lng);	# 299 IOprint_val (_409:void)<-(_410:lng)
    io.print(nil:lng);	# 300 IOprint_val (_411:void)<-(_410:lng)
    io.print(nil:lng);	# 301 IOprint_val (_412:void)<-(_410:lng)
    io.print(nil:lng);	# 302 IOprint_val (_413:void)<-(_410:lng)
    io.print(nil:lng);	# 303 IOprint_val (_414:void)<-(_410:lng)
    io.print(nil:lng);	# 304 IOprint_val (_415:void)<-(_410:lng)