GCC >= 4.6