let
doGuard _ _c _astate =
DF
.
GDefault
,
DF
.
GDefault