Каким образом записывается цикл с предусловием?

1) while <условие> do <тело цикла >;

2) for <параметр цикла>:= <выражение 1> to < выражение 2> do < тело цикла >;

3) if < условие > then  < оператор 1> else < оператор 2>;

4) write(x);

5) repeat < тело цикла > until < условие >;