let select_stmt_lval_rw set mark ~rd ~wr ki ~scope ~eval kf =
  select_lval_rw set mark ~rd ~wr ~scope ~eval kf (Some ki)