haha, a slightly revision of test15q as it existed at 0c1985d4ca6b8d085aa5fc6a486c1eadd66136b6 also works now, with a server OK on the proofs too. \cc @TiarkRompf
test15s.elf is the new test15q.elf