Add __restrict__ specifier where applicable.