ffi-examples

examples of ffi between different languages and lean