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