// expected output
#expect 9

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

debug.in:
  setflags a=0, b=0;
  literal 9;
  [b] literal 10;
  [a] literal 11;
  deliver;