// Copyright  Richard James C. Butler 2001.

#include "OSlib:os.h"

main() { osmodule_enter("IRQUtils", 0); }
