 [[ [[ i [[ [[ int:_t(1) [[ i [[ [[ int7_t(1) ]] ]]int1&_t'!*nt9_t(1) ]]int1&_t'!*