public static appendUniqueHeader(lines as ArrayList<String>, usedNames as ArrayList<String>, name as String, value as String) as Void: