ErrString ThPatSplice                = panic "matchContextErrString"  -- Not use
matchContextErrString ThPatSplice                = panic "matchContextErrString"
matchContextErrString ThPatSplice                = panic "matchContextErrString"