Path	Lines of Code
template-for-proof/FUNCTION_harness.c	4