/* : : generated by iffe version 2012-07-17 : : */
#ifndef _def_execargs_amd64
#define _def_execargs_amd64	1
#define _sys_types	1	/* #include <sys/types.h> ok */
#endif