push initial code