initial synthesis kernel