Is <https://gist.github.com/amaranth/7fe608431e6d2...

# stdlib

[amaranth]

Is https://gist.github.com/amaranth/7fe608431e6d2416f35eb5b048e07737 what you’re looking for then?