The loader and related systems should support an execution time budget that can be configured by users, preferably on the microsecond scale.