Debugging fips.py