badge_prg_shell