Symbol: do_initializer