Symbol: INIT_1