Implement precise marking of the VM stack.