let
default =
Cil
.dummyStmt