changed fennel kernel to not be static