preassert
not defined yet