Add "restrict" to unaliased pointers.