comment length_snoc', understand it better