count <= count + 1; -- this infers MUXCY