Stabs at improving idris' ffi