let
maxS = pw2 64.0