   /* Take values from petsc vectors and put into ASL vector */   if(sol_ctx->dae_map_t > 0) x_asl[sol_ctx->dae_map_t] = t;   ierr = VecGetArrayRead(x, &xx); CHKERRQ(ierr);   ierr = VecGetArrayRead(xdot, &xxdot); CHKERRQ(ierr);   for(i=0;i<sol_ctx->n_var_state;++i){     x_asl[sol_ctx->dae_map_x[i]] = xx[i];     if(sol_ctx->dae_map_xdot[i] >= 0) x_asl[sol_ctx->dae_map_xdot[i]] = xxdot[i];   }   ierr = VecRestoreArrayRead(x,&xx);CHKERRQ(ierr);   ierr = VecRestoreArrayRead(xdot,&xxdot);CHKERRQ(ierr);   