image/svg+xml obj2 obj3 cons_head cons_tail prod_head prod_tail local variables structure state cons_head prod_tail cons_next obj4