public static World GetWorld() { Contract.Ensures(Contract.Result<World>() != null); if (world == null) { world = new World(); } return world; }