Constrói funções reutilizáveis, prólogos, epílogos, funções folha, recursão e tail calls. Cada rotina é validada quanto à preservação de registradores e equilíbrio da pilha.