figured out bug: gotta move unwinding above matching (not fixed yet)