pub type ReportedPxDiff = bool;