synthesis kernel