bugfix! (+ bugfixed debug) Rev: src/encode.c:1.33 Rev: src/interpreter.h:1.12 Rev: src/object.c:1.80 Rev: src/program.h:1.57