Shorter 'operating systems'