contract_process_kill
contract_process_kill(ct, p, B_TRUE);
contract_process_kill(ct, p, B_FALSE);
contract_process_kill(ct, NULL, B_TRUE);