int undef( String? label ){ int index; if( (index = _label.undef( label )) >= 0 ){ // 値を初期化する unlock( index ); set( index, 0.0, false ); } return index; }