set_interval_marked  491 src/alloc.c    static void set_interval_marked (INTERVAL);
set_interval_marked 1546 src/alloc.c      set_interval_marked (i);