verbose_unum
verbose_unum(env, m1->val);
verbose_unum(env, reg->range);
verbose_unum(env, reg->mem_size);