// expected output
#expect 9

// 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;