((output (((f.ml (1 0) (1 11)) (verbatim {dev})))) (warnings ()))
