devendo ser expedido mandado