TInteger is int32_t