Anfonwch hwn fel neges destun: A Functional Derivation of the Warren Abstract Machine