==== Informal Description ====

==== Informal Description ====

This benchmark relates to a property involving integer overflows.

The benchmark provides a simple implementation of a utility that prints the contents of a file given by two C strings that store the directory the file is located in, and the base name of that file. The lengths of the strings are given as separate arguments.