Каков практический вариант использования (помимо взаимодействия с кодом C через FFI или тому подобное) метода финализатора Pony внутри класса?В документации Pony указано, что по умолчанию сигнатура метода должна быть fun _final() с возможностью ссылки на получателя в поле, и обмен сообщениями невозможен.Это кажется довольно ограничительным и предотвращает наиболее распространенные случаи использования в методах финализации в стиле Java, такие как отладка (определение, когда объект GC'd) или изменение значений полей.Есть ли краткий практический пример того, на что будет похож типичный вариант использования финализатора (кроме взаимодействия с кодом, написанным на другом языке, в этом случае я его получаю)?