More debugging with implicit wires