value parameters; more decl tests
first defn tests