::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
::   madt
::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::

:: [ 14:56:31 ] :: [   PASS   ] :: fwtsPass count:    42 
::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
::   Duration: 0s
::   Assertions: 1 good, 0 bad
::   RESULT: PASS (madt)