verbose_snum
verbose_snum(env, m1->val);
verbose_snum(env, reg->var_off.value);
verbose_snum(env, reg->var_off.value + reg->delta);
verbose_snum(env, reg->delta);