1*3caf9e4fSavsm void my_func(char *, int) 2*3caf9e4fSavsm __attribute__((__bounded__(__minbytes__,1,1024))); 3*3caf9e4fSavsm main(int argc,char ** argv)4*3caf9e4fSavsm int main(int argc, char **argv) { 5*3caf9e4fSavsm return 1; 6*3caf9e4fSavsm } 7