#load "popeye.sig". #load "java.sig". #load "list.mod". #load "interp.mod". #load "tchecker.mod". #load "spinach.mod". #load "wire.pop.sig". #load "gate.pop.sig". #load "unigate.pop.sig". #load "notgate.pop.sig". #load "bigate.pop.sig". #load "andgate.pop.sig". #load "wire.pop.mod". #load "gate.pop.mod". #load "unigate.pop.mod". #load "notgate.pop.mod". #load "bigate.pop.mod". #load "andgate.pop.mod". #load "list.spi". #load "wire.pop.spi". #load "gate.pop.spi". #load "unigate.pop.spi". #load "notgate.pop.spi". #load "bigate.pop.spi". #load "andgate.pop.spi".