Some binary we don't need

Proof code compiles.