When defining more than one attribute, the list must be enclosed in {}.
attr_specs := '{' sattr_spec(*) '}'