SDC_Verifier loading ...