<div dir="rtl"><div dir="ltr">This dyn_cast does not seem to be required.</div><div dir="ltr"><br></div><div dir="ltr">Yaron</div><div dir="ltr"><br></div></div>