% SZS status Timeout for word__signed__bits__n
