A very simple OS as a toy