Habeas corpus code walker