assert violation from uct.h