uma sub-rotina que não possui parâmetros de entrada.

uma sub-rotina que retorna um valor.

uma função que chama a si mesma, direta ou indiretamente.

uma função que não possui parâmetros de saída.

aninhamentos de chamadas de diferentes sub-rotinas.