((output (((f.ml (1 0) (1 8)) (verbatim vv)))) (warnings ()))
