 [[ [[ i [[ [[ int7_ [[ int7_t(1) ]] ]]int1&_t'!*nt8_t(1)t'!*nt8_t(1) ]]int1&_t'!*