private static String[] argsEnsureSyntax(String[] argsA) {
		String[] argsC; // return value
		int qtyTrad = 0; // provisional # occurrences of "--traditional" in given args (oughta be 0 or 1, but we cope with 2+)
		for (int iA = 0; iA < argsA.length; iA++) {
			if (argsA[iA].equals("--traditional")) {
				qtyTrad++;
			}
		}
		String argsB[] = new String[argsA.length - qtyTrad]; // for given args stripped of all "--traditional"
		for (int iA = 0, iB = 0; iA < argsA.length; iA++) {
			if (!argsA[iA].equals("--traditional")) {
				argsB[iB++] = argsA[iA];
			}
		}
		if (getSyntax().equals("modern")) {
			argsC = argsB;
		} else {
			argsC = new String[argsB.length + 1];
			argsC[0] = argsB[0]; // e.g. "swipl"
			argsC[1] = "--traditional";
			for (int iB = 1, iC = 2; iB < argsB.length; iB++) {
				argsC[iC++] = argsB[iB];
			}
		}
		return argsC;
	}