test fixup

tests/ffi/ffi-runtime-errors.icry.stdout

@@ -4,26 +4,22 @@ Loading module Main
 Loading dynamic library ffi-runtime-errors.so
 
 numeric type argument to foreign function is too large: 18446744073709551616
-in type parameter n`899 of function Main::f
+in type parameter n`892 of function Main::f
 type arguments must fit in a C `size_t`
 -- Backtrace --
 Main::f called at ffi-runtime-errors.icry:4:1--4:2
 
 cannot call foreign function Main::g
-FFI calls are not supported in this context
-If you are trying to evaluate an expression, try rebuilding
-  Cryptol with FFI support enabled.
+No foreign implementation is loaded,
+  or FFI calls are not supported in this context.
 
 cannot call foreign function Main::g
-FFI calls are not supported in this context
-If you are trying to evaluate an expression, try rebuilding
-  Cryptol with FFI support enabled.
+No foreign implementation is loaded,
+  or FFI calls are not supported in this context.
 
 cannot call foreign function Main::g
-FFI calls are not supported in this context
-If you are trying to evaluate an expression, try rebuilding
-  Cryptol with FFI support enabled.
+ No foreign implementation is loaded,
+   or FFI calls are not supported in this context.
 cannot call foreign function Main::g
-FFI calls are not supported in this context
-If you are trying to evaluate an expression, try rebuilding
-  Cryptol with FFI support enabled.
+No foreign implementation is loaded,
+  or FFI calls are not supported in this context.