manually inlined kernel