Value read = 0f
Value read = 10
Value read = 20
Value read = 21
Value Written = 11
Value Written = 12
Value read = 11
Dynamic assertion failed: "DynamicAssert.bsv", line 21, column 28
Failure: Fail becomes True