12345678# eukhe: the proof of LAW shell_ffi_example import Baseimport ../../laws/shell.bend as Shell def Shell.shell_ffi_example(): ({==}, {==}, {==}, {==}, {==}, {==})
