An Operating System for the DCPU-16 chip