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