# eukhe: the proof of LAW kernel_ffi_example

import Base
import ../../laws/kernel_local.bend as KernelLocal

def KernelLocal.kernel_ffi_example():
  ({==}, {==}, {==}, {==}, {==}, {==})