I’ve found that switch fast, in a few clicks, reading this on my phone:

https://github.com/jakogut/tinyvm/blob/master/include/tvm/tv...

I’ve used the info you provided as the start, of course.