module AssertValue