Include unfolding code