First working implementation of variable trace