Followup to this comment: https://github.com/pytorch/executorch/pull/13677#discussion_r2317584633