thoughts about file_sync_recover_ok
thoughts about file_sync_recover_ok

May be we need an XRET notation to work with XCRASH?

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