4.3.2 非确定性程序实例