Loop structure which guarantees at least one iteration will occur