2 ms·Ah, so Godbolt is some guy's last name? That's really cool.by baisq 4y agoAh, so Godbolt is some guy's last name? That's really cool.