module KernelFFI