举例说明在Polyspace中应该如何设置变量的取值范围使这些代码可达，以及某些中断应如何进行设置-Illustrated in Polyspace should be how to set a variable in the range up to these codes and how certain interrupt should be set