Homem de 21 anos apresenta dores de cabeça e 10 dias de ataxia crescente. Ele tem histórico médico de cistos renais e um forte histórico familiar de câncer renal e “tumores cerebrais”. Nesse caso, o diagnóstico subjacente mais provável é