pub type Ff1 = Fp;
The foreign field we are emulating (one of the two)
pub struct Ff1(/* private fields */);