More work on specs. Rewrote the functions to reuse existing ones.
More work on specs. Rewrote the functions to reuse existing ones.

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