Em quanto tempo é expedido um mandado de prisão após negação de um habeas corpus pelo STF?

O processo está sendo julgado desde 1997, e o pedido de hc no stj e no stf foram negados, o último em 05/2012. Qual o prazo para expedição do mandado de prisão?

Pergunta feita por um usuário em 14/10/2012