Nonstandard models of the weak second order theory of one successor