Antonio é Ministro do Tribunal Superior do Trabalho e completa, hoje, 68 anos de idade. Quantos anos restam até que Antonio seja atingido pela aposentadoria compulsória do servidor público?