Add spec for #dump_nops