add "__builtin_unreachable();"