Below is an example of a simple do_statement - note that the statement_block will always be excecuted at least once in a do_statement since the conditional expression is always checked at the end of the loop:

// The do loop will always execute its statement_block at least once

i=1;

// this is the do statement

do

   applog("You should see at least one of these messages..");

until(i==1) ;