Right, do __restrict thingy too