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