Spontaneous compactification of O(32) superstrings