Path	Lines of Code
codebuild/common-windows.bat	33
reformat.sh	17
verification/cbmc/cbmc-batch.sh	44