"sensor multiplexer.h" formatting