Um módulo de programa, cujo objetivo único do conjunto de ações é retornar ao ponto de sua chamada um valor que será associado ao próprio nome do módulo, tem a essência de um módulo com: