added nonnull attributes, removed gamestatus and other integers which don't need an exact type, added restrict to all the pointers.