How do you write up a writ for habeas corpus?