Absolutely. If you don't know dav1d, it's easy to overlook the complexity here.

There is a reason for this sentence: > « The dav1d and rav1d decoders share the exact same low-level assembly code optimizations—you cannot modify this assembly ».

So, it, kind of, makes the work easier, but it stills very complex I think.