Human-written compilers have bugs too! It takes decades of use to iron them out, and we’re introducing new ones all the time.