% SZS status Timeout for INJECTIVE__IMAGE__FINI
