Use __restrict instead of __restrict__ as default keyword (works on gcc
and msvc)