3 ms·

Surprised it doesn't show up on PLDB: https://pldb.com/index.html https://pldb.com/index.html

• culi 4y ago
  Edit: added it myself