let
mkStmtOneInstr instr =
Cil
.mkStmtOneInstr ~valid_sid:
true
instr