checkpoint some additional debugging of the coq bug
checkpoint some additional debugging of the coq bug

a somewhat more precise point where "Anomaly: Uncaught exception
Not_found. Please report." appears.

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl