scope pingSource.

static ThreadLocal<PingSource> #forThread = new ThreadLocal<PingSource>() {
  public PingSource initialValue() {
    ret ping_v3_pingSourceMaker()!; 
  }
};

// always returns true for convenience
static PingSource pingSource() {
  ret forThread!;
}