Fix FFIFuns test. Wasn't broken, but slightly wonky.