Comment by nsomani

That instinct is right. cuTile would be easier to parse but harder to reason about formally.