10.000 de teto pro funcionalismo tava otimo. Aposentando com 5.000 de teto. O sujeito ja sabendo disso que se organize pra sua aposentadoria e se quiser mais que pague previdencia privada. 
5 salários mínimos deveria ser o teto, sem nenhum benefício adicional.
Quem quiser ganhar mais que peça demissão e vá para o setor privado.
Mesmo para juízes, promotores, auditores fiscais, e outros cargos mais "exigentes"?
Não estou querendo puxar a sardinha pro meu lado, hehehehe, só porque sou um
marajá funcionário público, é uma pergunta sincera. Entendo que hoje alguns salários do funcionalismo público, principalmente no judiciário, mas também em outros poderes, são mesmo exagerados e precisam de ser corrigidos. Mas acho também que é necessário tomar cuidado para não ir ao outro extremo.