This directory is for GENerated header wrappers
for use with the Berkeley UPC-to-C translator.