pub(crate) fn signextend_word_dynamic( cx: &mut SymCx, byte_index: SymExpr, value: SymExpr, ) -> SymExpr