static int countPreSpunVMs() {
  return countBotsNamed("A pre-spun VM.");
}