Symbol: unimpl_cons_init