Interim checking for code safety and other reasons