more documentation in CCGen