static ThreadLocal<AbstractThoughtSpace> currentThoughtSpace_value = new ThreadLocal<AbstractThoughtSpace>() {
  public AbstractThoughtSpace initialValue() {
    ret new GlobalThoughtSpace;
  }
};

static AbstractThoughtSpace currentThoughtSpace() {
  ret currentThoughtSpace_value!;
}