User blog comment:Mush9/KING function/@comment-1605058-20170115211203/@comment-1605058-20170116092412

From your description it doesn't seem to me the "a", "b", "snail", ... are variables at all - they are just some strings. What do you mean by them being "written into a KING statement"? And what do you mean with a statement defining a free variable?