petition for writ of habeas corpus ad prosequendum