Initial commit of single-source header for leak-checking.