made unfoldC more lazy