A Real-Time Kernel for Pascal