petition for a writ of habeas corpus