Exploring program flow