defs() -> vars()