Symbol: smt_late_init