import javascript

select any(AbstractValue av)