Return-Path: danvy@cs.au.dk Received: from ksu-sfpop-proxy02.merit.edu (LHLO ksu-sfpop-proxy02.merit.edu) (10.108.1.218) by ksu-sfpop-mailstore06.merit.edu with LMTP; Sun, 22 Sep 2013 08:26:55 -0400 (EDT) Received: by gandalf.cs.au.dk (Postfix, from userid 1795) id 70A943629B3; Sun, 22 Sep 2013 14:26:30 +0200 (CEST) From: Olivier Danvy To: Subject: lyrics Reply-To: Date: Sun, 22 Sep 2013 14:26:30 +0200 Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Dear Dave, Please find below the lyrics of the two songs from Friday: first the original, and then the pastiche. Amicalement, -- Olivier ========== Resumption song Old pirates, yes, they rob I; Sold I to the merchant ships, Minutes after they took I >From the bottomless pit. But my hand was made strong By the 'and of the Almighty. We forward in this generation Triumphantly. Won't you help to sing This song of freedom? 'Cause all I ever have: Redemption songs; Redemption songs. Emancipate yourselves from mental slavery; None but ourselves can free up our minds. Have no fear for atomic energy, 'Cause none of them can stop the time. How long shall they kill our prophets, While we stand aside and look? Ooh! Some say it's just a part of it: We've got to fulfill the book. Won't you help to sing Another song of freedom? 'Cause all I ever have: Redemption songs; Redemption songs; Redemption songs. [Guitar break] Emancipate yourselves from mental slavery; None but ourselves can free our mind. Wo! Have no fear for atomic energy, 'Cause none of them-a can-a stop-a the time. How long shall they kill our prophets, While we stand aside and look? Ooh! Yes, some say it's just a part of it: We've got to fulfill the book. Won't you help to sing These songs of freedom? - 'Cause all I ever had: Redemption songs - All I ever had: Redemption songs: These songs of freedom, Songs of freedom. ---------- Resumption song (on the tune of Bob Marley's "Redemption song") In Kansas, yes, there born I; Went I to the local school, Some years after Beth hired I, >From West plains in Kan-sas. But my brai-ai-ain was made strong By the strain of CS theory Fast forward in ge-ne-a-lo-gy, Facetiously. Won't you help to drink This beer with Neil Jones? 'Cause all you ever had: Tomato beers; Tomato beers. Emancipate yourself from garbage collection; None but ourselves can free up our heaps. Have no fear of malloc'ing memory, 'Cause all our threads can stop in time. How long shall they kill our processes, While we stand aside and loop? Woo, some say it's just a parody: We've got to go read Dave's book. Won't you help to teach This con-ti-nu-ation? 'Cause all I ever have; Resumption songs; Resumption songs; Resumption songs. [Guitar break] Emancipate yourself with model theory. None but ourselves can check our mind. Woo, have no fear of popular semantics, Your compiler-a works-a just-a in time. How long have they slowed our progress While we stayed aside and shook? Yes, some say we ar-gue semantics, We've got to go and read Dave's book. Won't you help to bring These con-ti-nu-ations? 'Cause all we'll ever have: Resumption songs; All we'll ever have: Resumption songs; These continuations; Continuations. ========== We will rock you Bud-dy you're a boy make a big noise 1 2 3 4 5 6 7 8 9 Play-in' in the street go-nna be a big man some day 1 2 3 4 5 1 2 3 4 5 6 7 8 You got mud on your face 1 2 3 4 5 6 You big dis-grace 1 2 3 4 Ki-ckin' your can all o-ver the place 1 2 3 4 5 6 7 8 9 Sing-in' 1 2 We will we will rock you We will we will rock you Bud-dy you're a young man hard man 1 2 3 4 5 6 7 8 Shout-in' in the street go-nna take on the world some day 1 2 3 4 5 1 2 3 4 5 6 7 8 You got blood on your face 1 2 3 4 5 6 You big dis-grace 1 2 3 4 Wa-vin' your ban-ner all o-ver the place 1 2 3 4 5 6 7 8 9 10 We will we will rock you Sing it 1 2 We will we will rock you Bud-dy you're an old man poor man 1 2 3 4 5 6 7 8 Plead-in' with your eyes go-nna make you some peace some day 1 2 3 4 5 1 2 3 4 5 6 7 8 You got mud on your face 1 2 3 4 5 6 You big dis-grace 1 2 3 4 Som'-bo-dy better put you back into your place 1 2 3 4 5 6 7 8 9 10 We will we will rock you Sing it 1 2 We will we will rock you Everybody We will we will rock you We will we will rock you ---------- We will thank you (on the tune of Queen's "We will rock you") David you're a boy make a big splash Come to Manhattan go-nna be a teacher some day You got much on your plate You fill your slate Teaching your courses all over K-State Singing We will we will thank you We will we will thank you David you're a young man cool man Drinking in parties gonna help all the world some day You got chalk on your soap You're full of hope Flying around all over Europe We will we will thank you [Sing it, all] We will we will thank you David you're a grown man good man Smiling with your eyes is giving you much praise today You got smiles on your face You full of grace That's why we all thank you here in your place We will we will thank you [Sing it] We will we will thank you [Everybody] We will we will love you We will we will love you ========== end of e-mail