Funny thoughts on operating systems