Random constraint on "rand bit [255:0] foo"

[dave_59]

constraint fiefoo { $countones(foo) == fie;}