Symbol: call_init_pointer