Spec and doc emcntr. Add emcntr tag to hrl.