* (compilation time without hs)
29664764093
* with hs:
24764116386
* with hs and the best-effort media player:
24709304113
* with hs and stress:
50052877386
* with hs, stress and the BE media player:
57734584696