Assertion: main function | /r/CapableOf | call the check
Facets:
Source sentences:
text: " ); } /*the program starts here at the main() function, which calls the check()