# eukhe: the proof of LAW shell_ffi_example

import Base
import ../../laws/shell.bend as Shell

def Shell.shell_ffi_example():
  ({==}, {==}, {==}, {==}, {==}, {==})