auto-teste em chaveiro.py; cabeçalhos explícitos para python3