bugfix + more debug Rev: src/compilation.h:1.11 Rev: src/pike_types.c:1.48 Rev: src/pike_types.h:1.15 Rev: src/program.c:1.101