1  int test (char v1)
       2  {
       3    v1 >>= 0xdebecced;
       4    return v1;
       5  }