Could this be implemented in terms of `op_opt_arg_dat_core` with `opt=1`?