<div dir="ltr">Could you explain in a bit more detail why the "regular" noreturn attributes are insufficient for providing this information?<div><br></div><div style>-- Sean Silva</div></div>