let
mkStmt stmt =
Cil
.mkStmt ~valid_sid:
true
stmt