Shouldn't these accesses to the static variables be synchronized in some sort of way?