A bunch of pointers marked as "restrict" to ease the job of the compiler