plugin: more aggressive name change to avoid conflicts
[ia32rtools.git] / tests / x87_f.seed.h