; to run: firrtl -i %s -o %s.flo -X flo -p c | tee %s.out | FileCheck %s
; to check: UIntValue cannot be negative.

circuit Top :
  module Top :
    wire x : UInt<4>
    x := UInt(-2)