Why Virtual Machine, not a library?
TODO:
- linking issues (C#/Java/C)
- easier to implement from scratch (imagine hardware)
- generate source code (see protva presentation)
- Having Scheme as VM, we have a very powerful language for dealing with symbolic computations.