prototype of mochi kernel