execute :: Term -> Idris Term
execute tm = fail "libffi not supported, rebuild Idris with -f FFI"
execute :: Term -> Idris Term
execute tm = fail "libffi not supported, rebuild Idris with -f FFI"
execute tm = fail "libffi not supported, rebuild Idris with -f FFI"