add run_until and omega infinite loop example