re #3 on the i5 GCC32bits faster than clang, itself faster than GCC64bits