namespace start {
  typedef int Int;
  int var_int = (Int)123;
  int var_int2 = static_cast<Int>(123);
}