Added exec_while, exec_do*while, and common "empty" instructions