define-redefine workaround