How does it work in practice? My naive assumption is that “CAT” is for concatenation but what are the operands , items on the stack?