Symbol: codegen_progs_skeleton