0 bits found in Coq

:(