tracked down where Dir.v's proof blows up
tracked down where Dir.v's proof blows up

no idea how to fix it, though...

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