Non-nonforming path
Execution completed