in particular, an AOS//VS (II) manual? Possibly propping up a table in their basement? Apparently it would be useful to the 128-bit RISCV processor project... (although I don't see how)... https://groups.google.com/a/groups.riscv.org/forum/#!forum/sw-dev