Puzzles and other examples of nondeterministic programs