Added sketch for VM

DO NOT MERGE
This is just a sketch.
Please comment.
I thought that two functions, `v7_set_property()` and `v7_get_property()` are enough.
If you want to preserve the property, call `v7_get_property()`and see if it exists.