Dancing the devil away: [sung in the musical] Lucky