A method, device and system for maintaining a pre-defined number of free
registers at any location of an instrumented program such that at each
point during execution of a segment of the instrumented program, the
segment has access to the pre-defined number of free registers.