workset_t *res = OALLOCF(ob, workset_t, vals, env->n_regs);
memcpy(res, ws, sizeof(*res) + (env->n_regs)*sizeof(res->vals[0]));
return res;
workset_t *res = OALLOCF(ob, workset_t, vals, env->n_regs);
memcpy(res, ws, sizeof(*res) + (env->n_regs)*sizeof(res->vals[0]));
return res;