returns 0 on error, 1 on non-error termination, and 2 if it returns a value */
source not stored for this graph (policy: none)
no test coverage detected