This is r137 of shflags