drop the [Show] statements from [namei_ok] now that the proof works fine
drop the [Show] statements from [namei_ok] now that the proof works fine

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