stdlib.ccl