NOTE: Performed 18457 ASDL_TYPE_CHECKs.

        

        NOTE: Performed 13234 ASDL_TYPE_CHECKs.

        

        NOTE: Performed 19285 ASDL_TYPE_CHECKs.

        

        NOTE: Performed 9895 ASDL_TYPE_CHECKs.

        

        NOTE: Performed 19020 ASDL_TYPE_CHECKs.