Re: [firedrake] Your kernel body contains a double indirection