((output (((f.ml (1 0) (1 7)) (verbatim v)))) (warnings ()))
