eliminate the old InstFormatName which is always "AsmString",