17/* 18 * Command-line DEX optimization and verification entry point. 19 * 20 * There are three ways to launch this: 21 * (1) From the VM. This takes a dozen args, one of which is a file 22 * descr iptor that acts as both input and output. This allo