(-) bug: dyns / trl->stk