pt_init_top
struct pt_state pts = pt_init_top(&range);
struct pt_state pts = pt_init_top(&top_range);
struct pt_state top_pts = pt_init_top(&top_range);
struct pt_state pts = pt_init_top(&range);