Aggiunte un po' di funzioni ausiliarie, quasi a fine dello scheduler.