srecord noeq BStackComputeAllWithPrintStruct<A>(VStack.Computable<A> f) {
  settable int maxBacktracks = 10;
  settable int maxStepsPerBacktrack = 10;
  gettable new L<A> results;
  
  settable IBStack<A> stack;
  
  *(IBStack<A> *stack, VStack.Computable<A> *f) {}
  
  L<A> get() {
    // Make a stack with our computation
    if (stack == null)
      stack = new BStack<A>(f);
    else
      stack.push(f);
  
    repeat maxBacktracks {
      // Get first or next result of function
      A result = stack.nextResultWithPrintStruct(maxStepsPerBacktrack);
      results.add(result);
      print("Result: " + result);
    
      // Ask the stack to backtrack to get another result
      stack = stack.backtrack();
    
      // If there is no more result, print message and exit
      if (stack == null) {
        print("No further result");
        break;
      }
    
      // There is another result, so continue loop
    }
    
    ret results;
  }
}