GCC __restrict__