Util-deprecate. rev 5dtaRppvkAmaZwm98hn6TWBefuGzYv. (2022).