Os suplicantes, engenheiros e químicos, do Arsenal da Marinha do Rio de Janeiro, impetraram mandado de segurança para que fosse recolhido o direito a contagem de tempo integral de serviço de acordo com a Lei n° 3780 de 12/07/1960, visto que exerciam suas funções nestas condições. O juiz Wellington Moreira Pimentel negou a segurança impetrada. O Tribunal Federal de Recursos negou provimento ao recurso. Lei n° 1533 de 1951; Constituição Federal, artigo 141, parágrafo 24; Lei n° 3780, artigo 49 e 50.