Verificacao de excessoes implementado na main de teste. Pode-se usar como exemplo pro resto.