remove wrong LKASSERT