formal code starting