Fixing Variables in foreign functions not unifiable