Symbol: dassert