current_trace : string -> int
STRUCTURE
SYNOPSIS
Returns the current value of the tracing variable specified.
FAILURE
Fails if the name given is not associated with a registered tracing variable.
SEEALSO
HOL  Kananaskis-13