(@-@) (@-@) (@-@) spec SPEC 2013-10