Add "restrict" to unaliased pointers, clean.