(compiler: pl0): integer boundary check.
(compiler: pl0): add some language feature test cases.