Is this the REAL world?
Is this just fantasy?
Caught in array slice
No EXIT to reality.
SPARK all your files,
Fire up your VCG;
MALPAS a cheap toy, B-tool too hard for me
Because it's specify, notify,
Write a spec, simplify
Anything but Ada,
Nothing beats packages, to me,
To me.Mama,
Just broke my code
Got flow errors in my mind,
Left my globals undefined,
Mama,
SPARK had just been run,
But now I've got to rm -f
Mama, ooooooh,
Didn't mean to make it die
If I've no space to SPARK tomorrow,
Carry on, carry on,
'Cause there's nothing like --# own is.Too late,
'use types' has come
Send SIGKILL down my line
Stop my make(1) before it's time
Goodbye, everybody,
I've got to go,
Gotta leave you all behind and read John Barnes.Mama, ooooooh, (Anything but Alsys)
I don't want to sigh
I sometimes wish I'd never been Bourne at all.I see a little silhouetto of a task,
Scaramouche, Scaramouche,
Did you write all the semantics?
Thunderbolt and lightning,
Screwing up my program, meee ....
Semantic Error
Semantic Error,
Semantic Error, SPARK just died.
I'm such a prat (oh oh oh oh)It costs a packet, ev'rybody wants three
It costs a packet, even universities
Spare us our lives from Marconi GEC!
Access types, generics, will you let us pass?
Flow error! Will not let you pass (silly arse!)
Flow error! Will not let you pass (silly arse!)
Flow error! Will not let you pass (silly arse!)
Will not let you pass (what a farce!)
Will not let you pass (what a farce!)
No, No, No, No, No, No, No!Oh Mama mia, mama mia,
Mama mia, let us task!
Westinghouse has a package put aside for thee,
For theeee,
For meeeee!So you think you can force me to use '95?
So you think you can love me and lose all --# derives?
Oh, baby,
Can't do this to me baby,
Just gotta in-out, just gotta ACCEPT out right here.Nothing beats SPARK Ada,
Certainly not C,
Nothing beats SPARK Ada,
Nothing beats SPARK Ada to me.
Yesterday,
Ada problems seemed so far away,
The Examiner went off to play
spark.rep got huge
Since yesterdayOh, yesterday,
Run time checks told me of code decay
Paths and VCGs caused me dismay;
Annotations screwed
Since yesterdayWhy I lost the flow,
I don't know,
But I'll lose my pay.
Now I have to scour
my code, many hours
Since yesterday...Yesterday,
"It all works!" the customer had heard me say,
Now a right twonk I do feel, I may
Just shoot myself,
Since yesterday.
(OK, some of the scansion is a bit suss, but I'm open to suggestions...)