`fail!("could not lock {}", p.display())`? (And similarly below.)