module ReduceCSpec where

spec = pure ()