SZS status Theorem for i/f/Decode/enc2dec__some__alt
