Edify: add run_program