ins_0, exp.