Voodoo in libclasp again...
Forgot to call storeAtom() in printSymbol()
Using clasp 3.0.1