Can an Operating System be created from a high level programming language? and if so, which one?