1. 27

There’s also a paper.

  1. 3

    Sounds like a great idea. Drivers are one place where you certainly want both high performance and correctness.