Added sketch for VM

DO NOT MERGE
This is just a sketch.
Please comment.
Could you describe how what's the basic idea for exception handling?