NOTE: Performed 18345 ASDL_TYPE_CHECKs.

        

        NOTE: Performed 13122 ASDL_TYPE_CHECKs.

        

        NOTE: Performed 19173 ASDL_TYPE_CHECKs.

        

        NOTE: Performed 9783 ASDL_TYPE_CHECKs.

        

        NOTE: Performed 18908 ASDL_TYPE_CHECKs.