mux_vul/sesc-infix archive