use ASSERT as module