static void* zalloc_or_die(unsigned size) { void *ptr = calloc_model(1U, size); if (ptr) return ptr; abort(); }
static void l1_insert(struct L1 **list) { struct L1 *item = calloc_model(1U, sizeof *item); if (!item) abort(); do l2_insert(&item->l2); while (__VERIFIER_nondet_int()); item->next = *list; *list = item; }
static void l2_insert(struct L2 **list) { struct L2 *item = calloc_model(1U, sizeof *item); if (!item) abort(); item->proto = malloc(119U); if (!item->proto) abort(); item->next = *list; *list = item; }