< integer, check termination interval; if 0, then termination checking is disabled
See Implementation
< integer, check termination interval; if 0, then termination checking is disabled