The names tripwireAssert and userAssert are not very self-documenting in how they are compare to the server's tassert/uassert. We propose renaming them to sdk_tassert and sdk_uassert to emphasize that they are the SDK implementations of the server macros (and should be used instead of their base counterparts).