type bool = System.Boolean