Use it to prove that tests/barrier_client and tests/heap_lang are adequate.