fmt_spis_mask
verbose(env, "%s", fmt_spis_mask(env, frame, !has_use, masks->may_read));
verbose(env, "%s", fmt_spis_mask(env, frame, !has_def, masks->must_write));