int global_one;

void clobber_register()
{
  *(volatile unsigned char *)(0xE0000000 * global_one) = 0x00;
}