// expected output
#expect 11

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

debug.in:
  set flags a=0, b=0;
  set word= 9;
  [!b] set word= 10;
  [!a] set word= 11;
  deliver;