static function tokenize_label($label) { return '{' . trim(preg_replace('#^\\d+_#', '', $label)) . '}'; }