sclass PStack is Steppable {
  new ProbabilisticScheduler scheduler;
  
  class SingleStack extends VStack {
  }
  
  void addComputation(double probability default 1.0, PStackComputable computable) {
    scheduler.add(probability, new SingleStack(computable));
  }
  
  public bool step() { ret scheduler.step(); }
}