Imported from we_wish_you_a_merry_christmas.mid