use plain "restrict"

configure changes this to __restrict__ for us, if the compiler supports
it