@0-2 SpaceAfter(
    Str(
        PlainLine(
            "",
        ),
    ),
    [
        Newline,
    ],
)