Match eq match eq vst free