Stable version that runs, calls libefp correctly and gets some return values.