get ExampleMemLog to typecheck (although proofs might be broken)
get ExampleMemLog to typecheck (although proofs might be broken)

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