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