SOURCE_CHECK_HEAD=e3409bee5b1466839a7293af6ead97e515ca8f20
SOURCE_CHECK_TREE=7ace7d88b02a457f91469394c6f1f8bdf0c528b5
SOURCE_CHECK_FILE_COUNT=47
SOURCE_CHECK_MODE=post
RESULT=PASS_P23E_R01_MACHINE_SOURCE_CHECK_SEMANTICS