int undef( String? label ){ int index; if( (index = checkLabel( label )) >= 0 ){ setLabel( index, null, false ); _flag[index] = ClipGlobal.labelUnused; } return index; }