let default = Cil.dummyStmt