static List<String[]> findTranslators(List<String> lines) {

    List<String[]> translators = new ArrayList<String[]>();

    Pattern pattern = Pattern.compile("^!([0-9# \t]+)");

    Pattern pArgs = Pattern.compile("^\\s*\\((.*)\\)");

    for (ListIterator<String> iterator = lines.listIterator(); iterator.hasNext(); ) {

      String line = iterator.next();

      line = line.trim();

      Matcher matcher = pattern.matcher(line);

      if (matcher.find()) {

        String[] t = matcher.group(1).split("[ \t]+");

        String rest = line.substring(matcher.end());

        String arg = null;

        if (t.length == 1) {

          Matcher mArgs = pArgs.matcher(rest);

          if (mArgs.find())

            arg = mArgs.group(1);

        }

        for (String transi : t)

          translators.add(new String[]{transi, arg});

        iterator.remove();

      }

    }

    return translators;

  }