How many of them were portable yet specifically designed to be compilable to sandboxed low-level native code?