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?

Shouldn't your body be after the condition check?

Otherwise you get one iteration even if your condition was false to begin with?