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