Symbol: ins_format3