What is the benefit over this:

    loop: {
        ...body
        if (!conditon)
            goto loop;
    }

What separates loop syntax from goto is explicit syntax for the condition. When you give that up, why do you have loop at all?