NOTE: Performed 18336 ASDL_TYPE_CHECKs.

        

        NOTE: Performed 13113 ASDL_TYPE_CHECKs.

        

        NOTE: Performed 19164 ASDL_TYPE_CHECKs.

        

        NOTE: Performed 9774 ASDL_TYPE_CHECKs.

        

        NOTE: Performed 18899 ASDL_TYPE_CHECKs.