For globally defining dynamic variables at top level. Proclaims the variable ext:dynamic. The variable is optionally initialized in the current thread if currently unbound, otherwise the val form is not evaluated. When a initial val form is given it is evaluated by newly created threads to initialise the variable. The third argument is an optional documentation string for the variable.