application for a writ of habeas corpus