/foo.lean
