Leveraging Legacy Code to Deploy Desktop Applications on the Web
Safe kernel extensions without run-time checking