+ If old GCC, use XR14