1static inline t5 list_alloc_node_0(unit_t x) { 2 t2* node = malloc(sizeof(*node)); 3 t5 ret; 4 5 if (!node) { 6 ret.tag = TAG_ENUM_None; 7 return ret; 8 } 9 10 ret.tag = TAG_ENUM_Some; 11 ret.Some = node; 12 return ret; 13} 14 15unit_t list_free_node_0(t2 * x) { 16 free(x); 17 18 unit_t z; 19 return z; 20} 21