funcionários públicos aposentados, vêm requerer mandado de segurança, com base na Lei nº 1533, de 31/12/1951 e na Constituição Federal, artigo 141, contra o diretor da Despesa Nacional. Os impetrantes alegam que o impetrado vem descontando mensalmente de seus pagamentos parcelas relativas a uma suposta dívida tributária, o impetrado alega que os autores deixaram de pagar a averbação. Os impetrantes consideram tal cobrança indevida, e baseiam-se na Lei nº 3470, de 28/11/1951, para solicitarem que tal cobrança deixe de existir. O mandado de segurança é concedido. Contudo, a União Federal solicitou recurso da decisão. O processo passou por agravo no Tribunal Federal de Recursos e os ministros decidiram manter decisão favorável aos autores. O juiz Wellington Moreira Pimentel concedeu a segurança impetrada e recorreu de ofício. A ré apelou para o Tribunal Federal de Recursos, que negou provimento ao agravo