((output
  (((f.ml (1 0) (1 11)) (unordered ((((f.ml (1 2) (1 11)) (verbatim foo))))))))
 (warnings ()))
