* input_program.c: input_DelES destroyed the decoder (if any) without