α» AndrewTanenbaum edit** « wiki αt10xxxxx