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