/**
 * This file is generated by abc.xyz.  Do not edit!
 *
 * (except that this isn't really a generated file, but the above is the typical sort of comment
 *  you see at the beginning of a true generated file).
 */

int generated_function() {
	// ...

	return 1;
}