functor
(
Spec
:
SPEC_NAMES
)
->
S_NAMES