Title: Operating system specification using very high level dictions