printf("#define UM_FRAME_SIZE %d\n", (int) sizeof(struct user_regs_struct)); 
printf("#define UM_FRAME_SIZE %d\n", __UM_FRAME_SIZE); 
int main(int argc, char **argv){  printf("/*\n");  printf(" * Generated by mk_user_constants\n");  printf(" */\n");  printf("\n");  printf("#ifndef __UM_USER_CONSTANTS_H\n");  printf("#define __UM_USER_CONSTANTS_H\n");  printf("\n");  /* I'd like to use FRAME_SIZE from ptrace.h here, but that's wrong on   * x86_64 (216 vs 168 bytes).  user_regs_struct is the correct size on   * both x86_64 and i386.   */  printf("#define UM_FRAME_SIZE %d\n", (int) sizeof(struct user_regs_struct));  printf("\n");  printf("#endif\n");  return(0);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/8d0b9dc9be3919e9979eac59fd12e8f82b098325/mk_user_constants.c/clean/arch/um/os-Linux/util/mk_user_constants.c