/* dummy fips.h */