Mostly fixes to String, also introduces XLI_NORETURN