implementação dos doctestes