_VERIFIED_ What’s An Operating System “worth”