Hunting bug in reading adder_32bit input