An extension of an OS assignment