/* Misc. stuff for miiverbose module */