TUPLE [!X]
TUPLE [!ANY]

TUPLE [!Y]
TUPLE [!ARRAYED_LIST [!ANY]]

TUPLE [!Y]
TUPLE [!ARRAYED_LIST [!ANY]]
Execution completed