Multitasking OS for notch's DCPU-16