added variable label support
initial vm spec writeup
start of threads