checkpoint tiny bit of progress on create spec in FS.v
checkpoint tiny bit of progress on create spec in FS.v

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