From https://github.com/0xMiden/compiler/pull/1067#discussion_r3054441897
From #1067 (comment)