 [[ [[ i [[ [[ int7_t(1) [[ i [[ [t1&_[ int7_t(1)(1) ]] ]]:nt1&_t'!*nt8_t(1) ]]int1&_ ]] ]]:nt1&_t'!*nt8_t(1) ]]int1&_t'!*