((output (((f.ml (1 0) (1 11)) (@deprecated)))) (warnings ()))
