let set_checked ?(descr=A.name) ip ips valid = 
    U.set ip ips (Checked{emitter=descr;valid=valid})