Added sketch for VM

DO NOT MERGE
This is just a sketch.
Please comment.
Amending the comment. I was under impression that strict mode requires declarations to appear *before* using a variable. Apparently I was wrong.