 [[ [[ i [[ [[ inv0_t(1) [[ i [[ [uint32_t(1) ]] ]]int1&_t'!*lt8_t(1) ]]int5&_t'!*