Introduzco 'BuiltinFunc' + la función max