module CSpec