Symbol: nullc_init