foo() = @fact 10