33      switch { 1'0 }                                                                                                                                                                                                                
    34        attribute \src "/home/charlotte/g/x/amaranth-project/src/counter.py:32"                                                                                                                                                     
    35        case 1'1                                                                                                                                                                                                                    
    36          assign \count$next 6'000000                                                                                                                                                                                               
    37      end                                                                                                                                                                                                                           
    38      attribute \src "/home/charlotte/g/x/amaranth-project/src/counter.py:34"                                                                                                                                                       
    39      switch { 1'1 }                                                                                                                                                                                                                
    40        attribute \src "/home/charlotte/g/x/amaranth-project/src/counter.py:34"                                                                                                                                                     
    41        case 1'1                                                                                                                                                                                                                    
    42          assign \count$next $1 [5:0]                                                                                                                                                                                               
    43      end