SZS status Theorem for i/f/words/dimword__IS__TWICE__INT__MIN
