Make randomNumber generate 2^53 values instead of 2^32 (or 2^31 for rand() platforms)
[WebKit-https.git] / symbols.filter
1 {
2 local:
3 _ZSt*;
4 _ZNSt*;
5 };