csl/stdlib/cduce
