intern_mk_i (@intern_mk