small additions for 01_program_launching