loadrt and2 names=andZ
net p andZ.in0
list pin
list param
list funct
list sig