static void printVMSize() {
  print("VM size: " + (Runtime.getRuntime().totalMemory()+1024*1024-1)/1024/1024 + " MB");
}