noreturn
fun noreturn(qualifiedFunctionName: String, mode: DefinitionMode = DefinitionMode.UNKNOWN, mangledSymbol: String? = null, reason: String? = null, originalCompileUnit: StigRepoFile? = null, originalSource: Any? = null, reviewStatus: BitcodeTransformReviewStatus = BitcodeTransformReviewStatus.NEW)
A terminating body; its compiler protection is controlled by STIG.