1package foo:foo;
2
3interface flegs {
4  flags flag1 {
5    b0,
6  }
7
8  flags flag2 {
9    b0, b1,
10  }
11
12  flags flag4 {
13    b0, b1, b2, b3,
14  }
15
16  flags flag8 {
17    b0, b1, b2, b3, b4, b5, b6, b7,
18  }
19
20  flags flag16 {
21    b0, b1, b2, b3, b4, b5, b6, b7,
22    b8, b9, b10, b11, b12, b13, b14, b15,
23  }
24
25  flags flag32 {
26    b0, b1, b2, b3, b4, b5, b6, b7,
27    b8, b9, b10, b11, b12, b13, b14, b15,
28    b16, b17, b18, b19, b20, b21, b22, b23,
29    b24, b25, b26, b27, b28, b29, b30, b31,
30  }
31
32  flags flag64 {
33    b0, b1, b2, b3, b4, b5, b6, b7,
34    b8, b9, b10, b11, b12, b13, b14, b15,
35    b16, b17, b18, b19, b20, b21, b22, b23,
36    b24, b25, b26, b27, b28, b29, b30, b31,
37    b32, b33, b34, b35, b36, b37, b38, b39,
38    b40, b41, b42, b43, b44, b45, b46, b47,
39    b48, b49, b50, b51, b52, b53, b54, b55,
40    b56, b57, b58, b59, b60, b61, b62, b63,
41  }
42
43  roundtrip-flag1: func(x: flag1) -> flag1;
44  roundtrip-flag2: func(x: flag2) -> flag2;
45  roundtrip-flag4: func(x: flag4) -> flag4;
46  roundtrip-flag8: func(x: flag8) -> flag8;
47  roundtrip-flag16: func(x: flag16) -> flag16;
48  roundtrip-flag32: func(x: flag32) -> flag32;
49  roundtrip-flag64: func(x: flag64) -> flag64;
50}
51
52world the-flags {
53  import flegs;
54  export flegs;
55}
56