Hoopl boilerplate for copy propagation