Assertion: variable's lifetime | /r/HasProperty | entire program execution
Facets:
Source sentences:
text: For a static local variable, the allocation is static (the lifetime is the entire program execution), not automatic, but it is only in scope during the execution of the function.