let doGuard _ _c _astate = DF.GDefaultDF.GDefault