Итог раздумий о баге.

Я решил не писать собственный код. Слишком поздно уже, да и других проблем многовато. Я просто буду стараться избегать ситуации, в которых этот баг появляется.