Implementación de marcado de funciones efectivas