Extraction.v: optimize some noop functions; little effect
Extraction.v: optimize some noop functions; little effect

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