Edit: mux_types.h