(module CCOpt)