Does anyone see any benefit from process scope variables? E.g. a()-> A = 10, b(). b()-> B = A + 1. If unset variable is referenced, an error is raised. If set process variable is assigned to (and does not pattern match), an error is raised. This way, there is no need to pass a bunch of static variables around. ?