Docu
Gennaro added REALTIME_CHECKS option.