// expected output
#expect 8

// ships required in order to run this code
#ship debug        : Debug

debug.in:
  setflags a=1, b=1;
  [b] literal 7;
  [a] literal 8;
  deliver;