Siraaj's Abstract Machine