SZS status Theorem for i/f/EncodeVar/of__length__univ__zero
