-#ifndef NO_PEXTRA_REALLY
- && ps1.pextra_type == ps2.pextra_type
- && ps1.pextra_width == ps2.pextra_width
- && ps1.pextra_widthp == ps2.pextra_widthp
- && ps1.pextra_alignment == ps2.pextra_alignment
- && ps1.pextra_hfill == ps2.pextra_hfill
- && ps1.pextra_start_minipage == ps2.pextra_start_minipage
-#endif
- ;
-