1415161718192021
* */ public class FBenchRMT_DEV extends RMT_DEV { public static void main(String args[]) { RMT_DEV dev = new RMT_DEV(); initDevice(dev, statargs, args); }