void deadbeef(uint32_t *buf, int length)
{ 
  length /= 4;
  while(length--)
    buf[length] = 0xdeadbeef;
}