make_interval      92 src/intervals.c   new = make_interval ();
make_interval     494 src/intervals.c   INTERVAL new = make_interval ();
make_interval     538 src/intervals.c   INTERVAL new = make_interval ();
make_interval    1491 src/intervals.c   register INTERVAL target = make_interval ();
make_interval    2245 src/intervals.c   new = make_interval ();
make_interval     240 src/intervals.h extern INTERVAL make_interval (void) ATTRIBUTE_RETURNS_NONNULL;