uint32_t + int <= size_t  - too many polytypic vars