See https://github.com/lcompilers/lpython/pull/2157#discussion_r1263180562 and https://github.com/lcompilers/lpython/pull/2157#discussion_r1263180431.