Use restrict qualifier on state pointers