DEF DEMUX12
    PORT IN A
    PORT IN S
    PORT OUT Z0
    PORT OUT Z1

    NET A1
    NET B1

    INST NAND11 NAND A  S  A1
    INST NAND12 NAND A  A1 B1
    INST NAND13 NAND B1 B1 Z0

    INST NAND21 NAND A1 A1 Z1
ENDDEF