On Friday, 14 January 2022 at 08:00:30 UTC, bauss wrote: > This is a very important point because in general that could > bloat your memory by A LOT. Yeah, I didn't even think about this. The interfaces, as defined, are utterly useless anyway and will probably never be used but yeah interesting find.