revoga-se o despacho recorrido, o qual deverá ser substituído por outro que ordene a emissão de mandados de detenção do arguido  A...  para cumprimento da pena de 5 anos de prisão em que foi condenado.