BFile.v: a note about incomplete specs for bfgrow and bfshrink
BFile.v: a note about incomplete specs for bfgrow and bfshrink

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