If the federal courts refuse to issue a writ of habeas corpus, an execution date may be set.