/* Copyright 1995 J"orn Rennecke */

#include "schedule.h"

void garbage_collection() {
    /* FIXME: do actual garbage collection */
    CLEAR_JOB(garbage_collection);
    check_call_out();
}