missing verify and [u,m,...]assert, presumably from assert_util.h