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