option('machine', type : 'combo', value : 'auto',
       choices : ['auto', 'x64', 'uint128', 'ansi64', 'full-coverage', 'ppro', 'ansi32', 'ansi-legacy', 'universal'])
