static new AtomicLong randomClassName_counter;

sS randomClassName() {
  ret "UserCode" + inc(randomClassName_counter);
}