Fixing a bug in the new STINGER allocator.  Also removing a couple of restrict keywords that g++ does not like, although this could easily be fixed with a compiler define.