// BUG: 1 bit instead of 4 bit output wire