int main(int argc, char* argv[]) {
	
	               // Symbol name: c::main::0::alice
   char alice = 0;     // Symbol base: alice
   
   {
	               // Symbol name: c::main::1::alice
       int alice = 0;  // Symbol base: alice
   }
}
