micro:bitのmakeCodeEditorって？？

今までの経験では左のプログラムは４を返すはずなんだが・・・

こんな仕様なんですかね？　よくわからん。

この症状にちょっとハメられました。

JavaScript / Python のソースも眺めてみたが、global変数の二重定義が入り込んでたり

わけわからんです。（プログラムは こちら）