rlmv counter.mv
compose_golden
init
set_init -v 1 -m usut -g protect_golden.reg