((output (((f.ml (1 0) (1 17)) (verbatim "@author Foo")))) (warnings ()))
