let sym_mk_select () = Arr.select