--- Log opened Sat Sep 30 00:00:38 2023
23:50 < setavenger> Cool, that's pretty much what I've done. Looking forward to the test vectors to see whether it works in other settings too
--- Log closed Sun Oct 01 00:00:38 2023