testing a possible FPHC bug