disk-operating-system public under operating-system 16 List Picture As a command %3 n0 disk-operating-system n1 operating-system n1->n0