mux-kill1.mir 313 Bytes