multiplexor between two 32-bit input