2020では複数のスレッドが同期なしで同じ変数にアクセスしていないことを検証できます。具体的には各変数ごとに読み取り(in)と書き込み(out)のアクセスが衝突しているかがチェックされます。コンパイラが自動でチェックするにも限りがあります。具体的には翻訳単位や可視性の壁があります。これらの壁を越えるためにはパッケージの内側で何にアクセスしているかを外に向けて示す必要があります。アスペクトを通じてサブプログラムがアクセスしているグローバル変数を表明することができます。Pkg1;割と特殊な文法です。グローバル変数にアクセスしていないということです。書きますと全てのグローバル変数にアクセスしていると見做されます。