// expected output
#expect 6

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

debug.in:
  set flags a=1, b=1;
  set word= 6;
  [!b] set word= 7;
  [!a] set word= 8;
  deliver;