There seems to be no implementation of a `VolatileUint`