A couple of TODOs left over from #9.
Making saveProgram public.