This is obviously racy, but I understood this test to be intended for human verification, and this adequately exercises killing a contract.