Symbol: replace_init