pushing some declarations