Typed OS to very securely execute programs, which can only manipulate defined type variables, not memory spaces; avoids many problems caused by programming in languages such as C. French initiative, binary fits one floppy disk. [Open Source]