Implementando funcoes basicas com asserts