do a(); while (true)