int intArgument(String name) { int i = 0; const limit = 0x3FFFFFFF; do { i = Random().nextInt(limit) + limit; } while (macros.containsKey(i.toString())); macros[i.toString()] = name; return i; }