align-double.out++   [plain text]


+++Double alignment:
8