On 2/22/2016 8:14 PM, Christophe Gisquet wrote: > Hi, >> +.inner_loop: > > Given this precludes reusing m5, then I don't have anything more to > comment, and seems ok. Pushed then, thanks.