LASSERT macro, tail