stdint; timeouts: uint32->uint64