• _dflt_fpsort_ebits : z3py
• _dflt_fpsort_sbits : z3py
• _dflt_rounding_mode : z3py
• _error_handler_fptr : z3py
• _main_ctx : z3py
• _Z3Python_error_handler : z3py
• sat : z3py
• unknown : z3py
• unsat : z3py