int shift(void)
{
  int aaa = 0x12;
  static int bbb = 0x34;
  ...
}