CCList.init added
slightly better printing in CCbench