カーネルが起動されるたびに自動的にシンボルを初期化する.

既存の初期化があるかどうかをチェックする

シンボル$GeoLocationについてすでに存在する初期化があればリストする.すでに初期化が定義されていない限り,何もリストされないはずである:

シンボルにすでに初期化が存在する場合には,InitializationValueMissingの代りにその値を返す:

初期化が存在する場合は,クリーンスタートのためにそれらを削除する:

初期化を設定する

$GeoLocationを初期化するための値を指定する:

初期化の値を確かめる:

初期化が行われることを確かめる

カーネルを終了してから再起動する.指定した値に$GeoLocationが初期化されたことを確かめる:

注釈

初期化の値は,$PersistenceBaseが返す永続値の場所に保存される: