Code for habeascorpus experiments.