(@-@) (@-@) (@-@) (@-@) spec SPEC 2012-04