gec 4000 series computers were capable of running a number of operating systems but in practice prestel machines exclusively ran os4000 which itself was developed by gec. this in turn supported babbage, the so-called high level assembler language in which all the prestel software for both irc and udc machines (and later the messaging machine) was written.