hole-punching code snippets in rust