s/ToUint32()->Value()/Uint32Value()/