Wouldn't an operating system be a performance-critical piece of software despite being an experiment in object-capabilities design?