https://1library.org/document/y9n975vz-certified-virtual-machine-based-regular-expression-parsing.html