#ifndef _COUNTER_H
#define _COUNTER_H

extern unsigned long num_kratpoly_sgn_at;
extern unsigned long num_kratpoly_exact_sgn_at;
extern unsigned long num_root1_isolate;
extern unsigned long num_root1_exact_isolate;
extern unsigned long num_kpoint1d_get_pts;
extern unsigned long num_kpoint2d_get_pts;
extern unsigned long num_ksolid_boolean;

#endif