debug_addinst