GCC 4.4 compatibility: __builtin_unreachable() is not yet available.