define_local_numeric_option("width");
define_local_numeric_option("height");
setObjectDefaultOption("Mux")("width")(5mm);
-setObjectDefaultOption("Mux")("height")(20mm);
+setObjectDefaultOption("Mux")("height")(15mm);
setObjectDefaultOption("Mux")("framed")(true);
% Overidden above
%setObjectDefaultOption("Mux")("framewidth")(.5bp);