K 10 svn:author V 3 dfr K 8 svn:date V 27 2017-04-25T10:29:08.707315Z K 7 svn:log V 90 Fix a potential problem where we might try to shift by more than 31 bits CID: 1198859 END