Assertion: program | /r/HasProperty | run
Facets:
Source sentences:
text: The function named main is a special function in all C++ programs; it is the function called when the program is run.
text: When the program is run, these dynamic link libraries are loaded, as well.