Path	Lines of Code
verification/cbmc/sources/make_common_data_structures.c	172
verification/cbmc/sources/utils.c	135