DIV_OVERFLOW_CRASHES = No
DIV_BY_ZERO_CRASHES = No
NULL_POINTER_DEREF_CRASHES = No