{
        # top
        last
            if ...;
        # middle
        redo
            if ...;
        # tail
    }
    # post

    TOP:
        # top
        goto END
            if ...;
        # middle
        goto TOP
            if ...;
        # tail
    END:
    # post