assert_fe
assert_fe(h->v);
assert_fe(f->v);
assert_fe(f->v);
assert_fe(g->v);
assert_fe(f->v);
assert_fe(g->v);
assert_fe(h->v);
assert_fe(out);
assert_fe(h->v);
assert_fe(h->v);
assert_fe(f->v);