Horse: Devito        #10705