Hey, this is just an odd thing I noticed when packing one of my programs with qsave_program
The resulting file does what it is instructed to do, but when I do strip a.out then suddenly the program goes into the toplevel instead of executing the goal specified. Is this intentional?