EMPTY 組み込み関数は、区域変数を初期設定してこれを空にし、それに対して行わ れている可能性があるすべての割り振りを解放します。 これが区域変数の初期状態で、そこにはまだなにも割り振りがされていません。 AVAILABLEAREA 組み込み関数は、その区域内で行うことができる割り振りの最大サイズを返します。