Section 13215 of this title, referred to in subsec. (a)(6), was omitted from the Code since the section ceased to be effective after Oct. 24, 1995.