do a(); while (true);