Parameterizations

• parameterization-branch-handler: parameter for a procedure that takes no arguments and returns a parameterization value. This parameterization branch handler is invoked to obtain the initial parameterization for a new thread created by thread (see section 9.1). The default parameterization branch handler returns a new parameterization with its initial parameter values copied from the current parameterization.