cpp_mux
return cpp_mux(port, 0x51) == 3;
return cpp_mux(port, 0x58);
return cpp_mux(port, 0x60 + muxport) == muxport;