petition for writ of habeas corpus