::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
::   wsmt
::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::

:: [ 17:49:28 ] :: [   PASS   ] :: fwtsPass count:     1 
::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
::   Duration: 0s
::   Assertions: 1 good, 0 bad
::   RESULT: PASS (wsmt)