Author here: sometimes you want to get the tag of a value, and operate on that tag as a value, but I guess this may not be necessary in this system, given that the get_tag instruction will produce an immutable string.

EDIT: removed it. It was probably left over from old code, previous VM's I've written: https://github.com/maximecb/zetavm/commit/7ef746f06113530468...