グローバル変数定義は、パッケージの実装ファイル内のトレース/アニメーション設定メソッド定義の後ろに組み込まれます。 例えば、住宅暖房システムのサンプルのグローバル変数 dT は、Default パッケージの実装ファイルに次のように定義されます。
int dT; /*## attribute dT */