/*3:*/
#line 66 "gb_dijk.w"

extern long dijkstra();
extern void print_dijkstra_result();

/*:3*//*5:*/
#line 116 "gb_dijk.w"

#define dist z.i
#define backlink y.v

/*:5*//*6:*/
#line 139 "gb_dijk.w"

extern void(*init_queue)();
extern void(*enqueue)();
extern void(*requeue)();
extern Vertex*(*delete_min)();

/*:6*//*7:*/
#line 151 "gb_dijk.w"

#define hh_val x.i

/*:7*//*25:*/
#line 433 "gb_dijk.w"

extern void init_dlist();
extern void enlist();
extern void reenlist();
extern Vertex*delete_first();
extern void init_128();
extern Vertex*delete_from_128();
extern void enqueue_128();
extern void requeue_128();

/*:25*/