Fix DSTACK_INIT2: t+