included cassert package