2 public class Main extends flash.display.MovieClip {
4 /* test the encoding of various constants.
5 Depending on the radix size, int constants may be
6 encoded as byte, u30 short, u31 short, signed, etc. */
8 if(String(a1) == "127") trace("ok 1/13");
10 if(String(a2) == "256") trace("ok 2/13");
12 if(String(a3) == "1073741823") trace("ok 3/13");
14 if(String(a4) == "1073741824") trace("ok 4/13");
16 if(String(a5) == "2147483647") trace("ok 5/13");
18 if(String(a6) == "-1") trace("ok 6/13");
20 if(String(a7) == "-127") trace("ok 7/13");
22 if(String(a8) == "-32767") trace("ok 8/13");
24 if(String(a9) == "-32768") trace("ok 9/13");
26 if(String(a10) == "-32769") trace("ok 10/13");
28 if(String(a11) == "-65536") trace("ok 11/13");
29 var a12 = -1073741823;
30 if(String(a12) == "-1073741823") trace("ok 12/13");
31 var a13 = -1073741824;
32 if(String(a13) == "-1073741824") trace("ok 13/13");