 [[ fun[[]]int31_t'!*