SZS status Theorem for i/f/EncodeVar/fixed__width__unit
