flags.wit

package foo:foo;

interface flegs {
  flags flag1 {
    b0,
  }

  flags flag2 {
    b0, b1,
  }

  flags flag4 {
    b0, b1, b2, b3,
  }

  flags flag8 {
    b0, b1, b2, b3, b4, b5, b6, b7,
  }

  flags flag16 {
    b0, b1, b2, b3, b4, b5, b6, b7,
    b8, b9, b10, b11, b12, b13, b14, b15,
  }

  flags flag32 {
    b0, b1, b2, b3, b4, b5, b6, b7,
    b8, b9, b10, b11, b12, b13, b14, b15,
    b16, b17, b18, b19, b20, b21, b22, b23,
    b24, b25, b26, b27, b28, b29, b30, b31,
  }

  flags flag64 {
    b0, b1, b2, b3, b4, b5, b6, b7,
    b8, b9, b10, b11, b12, b13, b14, b15,
    b16, b17, b18, b19, b20, b21, b22, b23,
    b24, b25, b26, b27, b28, b29, b30, b31,
    b32, b33, b34, b35, b36, b37, b38, b39,
    b40, b41, b42, b43, b44, b45, b46, b47,
    b48, b49, b50, b51, b52, b53, b54, b55,
    b56, b57, b58, b59, b60, b61, b62, b63,
  }

  roundtrip-flag1: func(x: flag1) -> flag1;
  roundtrip-flag2: func(x: flag2) -> flag2;
  roundtrip-flag4: func(x: flag4) -> flag4;
  roundtrip-flag8: func(x: flag8) -> flag8;
  roundtrip-flag16: func(x: flag16) -> flag16;
  roundtrip-flag32: func(x: flag32) -> flag32;
  roundtrip-flag64: func(x: flag64) -> flag64;
}

world the-flags {
  import flegs;
  export flegs;
}