Testing the work-in-progress SeeC-Clang value mapping system.