unlengthened

not defined yet