Needs USE_GCC_RUNTIME here